TSTP Solution File: NLP248-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP248-10 : TPTP v8.1.0. Released v7.5.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 : Mon Jul 18 02:33:53 EDT 2022
% Result : Timeout 300.02s 299.37s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : NLP248-10 : TPTP v8.1.0. Released v7.5.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n024.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 : Fri Jul 1 06:55:15 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.80/6.01 eprover: CPU time limit exceeded, terminating
% 7.77/8.02 eprover: CPU time limit exceeded, terminating
% 9.84/10.03 eprover: CPU time limit exceeded, terminating
% 11.88/12.03 eprover: CPU time limit exceeded, terminating
% 13.84/14.04 eprover: CPU time limit exceeded, terminating
% 17.77/17.93 eprover: CPU time limit exceeded, terminating
% 19.78/19.94 eprover: CPU time limit exceeded, terminating
% 21.80/21.95 eprover: CPU time limit exceeded, terminating
% 23.78/23.96 eprover: CPU time limit exceeded, terminating
% 25.82/25.96 eprover: CPU time limit exceeded, terminating
% 29.69/29.85 eprover: CPU time limit exceeded, terminating
% 35.15/35.23 eprover: CPU time limit exceeded, terminating
% 37.10/37.24 eprover: CPU time limit exceeded, terminating
% 39.14/39.25 eprover: CPU time limit exceeded, terminating
% 41.18/41.26 eprover: CPU time limit exceeded, terminating
% 43.20/43.26 eprover: CPU time limit exceeded, terminating
% 45.16/45.27 eprover: CPU time limit exceeded, terminating
% 49.14/49.26 eprover: CPU time limit exceeded, terminating
% 53.03/53.13 eprover: CPU time limit exceeded, terminating
% 55.04/55.14 eprover: CPU time limit exceeded, terminating
% 57.06/57.15 eprover: CPU time limit exceeded, terminating
% 64.43/64.49 eprover: CPU time limit exceeded, terminating
% 66.48/66.50 eprover: CPU time limit exceeded, terminating
% 68.45/68.51 eprover: CPU time limit exceeded, terminating
% 70.50/70.51 eprover: CPU time limit exceeded, terminating
% 72.52/72.52 eprover: CPU time limit exceeded, terminating
% 76.47/76.46 eprover: CPU time limit exceeded, terminating
% 78.49/78.47 eprover: CPU time limit exceeded, terminating
% 82.32/82.34 eprover: CPU time limit exceeded, terminating
% 84.36/84.35 eprover: CPU time limit exceeded, terminating
% 86.40/86.36 eprover: CPU time limit exceeded, terminating
% 90.37/90.36 eprover: CPU time limit exceeded, terminating
% 94.29/94.23 eprover: CPU time limit exceeded, terminating
% 96.30/96.23 eprover: CPU time limit exceeded, terminating
% 98.32/98.24 eprover: CPU time limit exceeded, terminating
% 100.35/100.25 eprover: CPU time limit exceeded, terminating
% 102.32/102.26 eprover: CPU time limit exceeded, terminating
% 104.34/104.26 eprover: CPU time limit exceeded, terminating
% 106.37/106.27 eprover: CPU time limit exceeded, terminating
% 108.33/108.28 eprover: CPU time limit exceeded, terminating
% 110.39/110.29 eprover: CPU time limit exceeded, terminating
% 112.36/112.29 eprover: CPU time limit exceeded, terminating
% 114.36/114.30 eprover: CPU time limit exceeded, terminating
% 118.31/118.17 eprover: CPU time limit exceeded, terminating
% 120.27/120.18 eprover: CPU time limit exceeded, terminating
% 124.21/124.10 eprover: CPU time limit exceeded, terminating
% 126.26/126.11 eprover: CPU time limit exceeded, terminating
% 130.07/129.91 eprover: CPU time limit exceeded, terminating
% 132.06/131.92 eprover: CPU time limit exceeded, terminating
% 135.97/135.81 eprover: CPU time limit exceeded, terminating
% 137.99/137.82 eprover: CPU time limit exceeded, terminating
% 139.96/139.83 eprover: CPU time limit exceeded, terminating
% 142.03/141.84 eprover: CPU time limit exceeded, terminating
% 143.98/143.84 eprover: CPU time limit exceeded, terminating
% 146.05/145.85 eprover: CPU time limit exceeded, terminating
% 148.02/147.86 eprover: CPU time limit exceeded, terminating
% 150.07/149.87 eprover: CPU time limit exceeded, terminating
% 152.07/151.87 eprover: CPU time limit exceeded, terminating
% 154.11/153.88 eprover: CPU time limit exceeded, terminating
% 156.07/155.89 eprover: CPU time limit exceeded, terminating
% 158.13/157.90 eprover: CPU time limit exceeded, terminating
% 160.10/159.90 eprover: CPU time limit exceeded, terminating
% 162.16/161.91 eprover: CPU time limit exceeded, terminating
% 165.96/165.71 eprover: CPU time limit exceeded, terminating
% 167.94/167.72 eprover: CPU time limit exceeded, terminating
% 171.82/171.61 eprover: CPU time limit exceeded, terminating
% 173.88/173.62 eprover: CPU time limit exceeded, terminating
% 175.92/175.63 eprover: CPU time limit exceeded, terminating
% 177.88/177.63 eprover: CPU time limit exceeded, terminating
% 179.93/179.64 eprover: CPU time limit exceeded, terminating
% 185.84/185.55 eprover: CPU time limit exceeded, terminating
% 189.75/189.43 eprover: CPU time limit exceeded, terminating
% 191.78/191.44 eprover: CPU time limit exceeded, terminating
% 193.76/193.45 eprover: CPU time limit exceeded, terminating
% 195.72/195.45 eprover: CPU time limit exceeded, terminating
% 197.76/197.46 eprover: CPU time limit exceeded, terminating
% 199.80/199.47 eprover: CPU time limit exceeded, terminating
% 201.83/201.48 eprover: CPU time limit exceeded, terminating
% 203.81/203.49 eprover: CPU time limit exceeded, terminating
% 205.79/205.49 eprover: CPU time limit exceeded, terminating
% 207.82/207.50 eprover: CPU time limit exceeded, terminating
% 209.89/209.51 eprover: CPU time limit exceeded, terminating
% 211.89/211.51 eprover: CPU time limit exceeded, terminating
% 213.84/213.52 eprover: CPU time limit exceeded, terminating
% 215.91/215.53 eprover: CPU time limit exceeded, terminating
% 217.94/217.53 eprover: CPU time limit exceeded, terminating
% 219.88/219.54 eprover: CPU time limit exceeded, terminating
% 221.94/221.55 eprover: CPU time limit exceeded, terminating
% 223.92/223.56 eprover: CPU time limit exceeded, terminating
% 225.96/225.56 eprover: CPU time limit exceeded, terminating
% 229.88/229.47 eprover: CPU time limit exceeded, terminating
% 231.92/231.48 eprover: CPU time limit exceeded, terminating
% 233.93/233.48 eprover: CPU time limit exceeded, terminating
% 235.93/235.49 eprover: CPU time limit exceeded, terminating
% 242.63/242.21 eprover: CPU time limit exceeded, terminating
% 244.67/244.22 eprover: CPU time limit exceeded, terminating
% 246.68/246.22 eprover: CPU time limit exceeded, terminating
% 248.72/248.23 eprover: CPU time limit exceeded, terminating
% 250.73/250.24 eprover: CPU time limit exceeded, terminating
% 252.73/252.25 eprover: CPU time limit exceeded, terminating
% 254.74/254.25 eprover: CPU time limit exceeded, terminating
% 256.68/256.26 eprover: CPU time limit exceeded, terminating
% 258.74/258.27 eprover: CPU time limit exceeded, terminating
% 260.80/260.27 eprover: CPU time limit exceeded, terminating
% 262.75/262.28 eprover: CPU time limit exceeded, terminating
% 264.77/264.29 eprover: CPU time limit exceeded, terminating
% 268.78/268.28 eprover: CPU time limit exceeded, terminating
% 270.83/270.29 eprover: CPU time limit exceeded, terminating
% 300.02/299.37 eprover: CPU time limit exceeded, terminating
% 300.02/299.39 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------