TSTP Solution File: NLP249-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP249-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:54 EDT 2022
% Result : Timeout 300.08s 299.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NLP249-10 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n017.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 : Thu Jun 30 21:19:09 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.83/5.99 eprover: CPU time limit exceeded, terminating
% 7.81/8.00 eprover: CPU time limit exceeded, terminating
% 9.80/10.00 eprover: CPU time limit exceeded, terminating
% 11.84/12.01 eprover: CPU time limit exceeded, terminating
% 13.83/14.02 eprover: CPU time limit exceeded, terminating
% 17.74/17.91 eprover: CPU time limit exceeded, terminating
% 19.72/19.92 eprover: CPU time limit exceeded, terminating
% 21.80/21.93 eprover: CPU time limit exceeded, terminating
% 23.76/23.94 eprover: CPU time limit exceeded, terminating
% 25.83/25.94 eprover: CPU time limit exceeded, terminating
% 29.74/29.85 eprover: CPU time limit exceeded, terminating
% 35.15/35.23 eprover: CPU time limit exceeded, terminating
% 37.16/37.24 eprover: CPU time limit exceeded, terminating
% 39.13/39.24 eprover: CPU time limit exceeded, terminating
% 41.17/41.25 eprover: CPU time limit exceeded, terminating
% 43.19/43.26 eprover: CPU time limit exceeded, terminating
% 45.15/45.27 eprover: CPU time limit exceeded, terminating
% 47.17/47.27 eprover: CPU time limit exceeded, terminating
% 49.19/49.28 eprover: CPU time limit exceeded, terminating
% 53.12/53.17 eprover: CPU time limit exceeded, terminating
% 55.16/55.18 eprover: CPU time limit exceeded, terminating
% 57.17/57.19 eprover: CPU time limit exceeded, terminating
% 64.54/64.57 eprover: CPU time limit exceeded, terminating
% 66.59/66.58 eprover: CPU time limit exceeded, terminating
% 68.54/68.59 eprover: CPU time limit exceeded, terminating
% 70.56/70.59 eprover: CPU time limit exceeded, terminating
% 72.60/72.60 eprover: CPU time limit exceeded, terminating
% 76.60/76.55 eprover: CPU time limit exceeded, terminating
% 78.54/78.56 eprover: CPU time limit exceeded, terminating
% 82.46/82.45 eprover: CPU time limit exceeded, terminating
% 84.47/84.46 eprover: CPU time limit exceeded, terminating
% 86.51/86.47 eprover: CPU time limit exceeded, terminating
% 88.55/88.47 eprover: CPU time limit exceeded, terminating
% 90.54/90.48 eprover: CPU time limit exceeded, terminating
% 94.42/94.37 eprover: CPU time limit exceeded, terminating
% 96.44/96.38 eprover: CPU time limit exceeded, terminating
% 100.34/100.28 eprover: CPU time limit exceeded, terminating
% 102.40/102.29 eprover: CPU time limit exceeded, terminating
% 104.40/104.30 eprover: CPU time limit exceeded, terminating
% 106.39/106.30 eprover: CPU time limit exceeded, terminating
% 108.41/108.31 eprover: CPU time limit exceeded, terminating
% 110.40/110.32 eprover: CPU time limit exceeded, terminating
% 112.39/112.32 eprover: CPU time limit exceeded, terminating
% 114.45/114.33 eprover: CPU time limit exceeded, terminating
% 118.38/118.22 eprover: CPU time limit exceeded, terminating
% 120.32/120.22 eprover: CPU time limit exceeded, terminating
% 124.26/124.12 eprover: CPU time limit exceeded, terminating
% 126.30/126.13 eprover: CPU time limit exceeded, terminating
% 130.13/129.95 eprover: CPU time limit exceeded, terminating
% 132.09/131.95 eprover: CPU time limit exceeded, terminating
% 136.00/135.85 eprover: CPU time limit exceeded, terminating
% 138.04/137.86 eprover: CPU time limit exceeded, terminating
% 140.06/139.86 eprover: CPU time limit exceeded, terminating
% 142.09/141.87 eprover: CPU time limit exceeded, terminating
% 144.11/143.88 eprover: CPU time limit exceeded, terminating
% 146.07/145.89 eprover: CPU time limit exceeded, terminating
% 148.13/147.89 eprover: CPU time limit exceeded, terminating
% 150.12/149.90 eprover: CPU time limit exceeded, terminating
% 152.11/151.91 eprover: CPU time limit exceeded, terminating
% 154.18/153.91 eprover: CPU time limit exceeded, terminating
% 156.14/155.92 eprover: CPU time limit exceeded, terminating
% 158.21/157.93 eprover: CPU time limit exceeded, terminating
% 160.21/159.94 eprover: CPU time limit exceeded, terminating
% 162.17/161.94 eprover: CPU time limit exceeded, terminating
% 166.01/165.74 eprover: CPU time limit exceeded, terminating
% 168.04/167.75 eprover: CPU time limit exceeded, terminating
% 171.93/171.64 eprover: CPU time limit exceeded, terminating
% 173.89/173.65 eprover: CPU time limit exceeded, terminating
% 175.94/175.65 eprover: CPU time limit exceeded, terminating
% 177.97/177.66 eprover: CPU time limit exceeded, terminating
% 180.00/179.67 eprover: CPU time limit exceeded, terminating
% 183.92/183.58 eprover: CPU time limit exceeded, terminating
% 185.91/185.59 eprover: CPU time limit exceeded, terminating
% 189.83/189.47 eprover: CPU time limit exceeded, terminating
% 191.82/191.48 eprover: CPU time limit exceeded, terminating
% 193.85/193.48 eprover: CPU time limit exceeded, terminating
% 195.85/195.49 eprover: CPU time limit exceeded, terminating
% 197.82/197.50 eprover: CPU time limit exceeded, terminating
% 199.88/199.51 eprover: CPU time limit exceeded, terminating
% 201.87/201.51 eprover: CPU time limit exceeded, terminating
% 203.91/203.52 eprover: CPU time limit exceeded, terminating
% 205.93/205.53 eprover: CPU time limit exceeded, terminating
% 207.91/207.54 eprover: CPU time limit exceeded, terminating
% 209.93/209.54 eprover: CPU time limit exceeded, terminating
% 211.97/211.55 eprover: CPU time limit exceeded, terminating
% 213.93/213.56 eprover: CPU time limit exceeded, terminating
% 215.94/215.56 eprover: CPU time limit exceeded, terminating
% 217.97/217.57 eprover: CPU time limit exceeded, terminating
% 220.03/219.58 eprover: CPU time limit exceeded, terminating
% 222.03/221.59 eprover: CPU time limit exceeded, terminating
% 223.98/223.59 eprover: CPU time limit exceeded, terminating
% 226.06/225.60 eprover: CPU time limit exceeded, terminating
% 229.96/229.51 eprover: CPU time limit exceeded, terminating
% 231.95/231.52 eprover: CPU time limit exceeded, terminating
% 234.00/233.52 eprover: CPU time limit exceeded, terminating
% 236.02/235.53 eprover: CPU time limit exceeded, terminating
% 242.71/242.20 eprover: CPU time limit exceeded, terminating
% 244.70/244.21 eprover: CPU time limit exceeded, terminating
% 246.70/246.22 eprover: CPU time limit exceeded, terminating
% 248.74/248.23 eprover: CPU time limit exceeded, terminating
% 250.76/250.23 eprover: CPU time limit exceeded, terminating
% 252.71/252.24 eprover: CPU time limit exceeded, terminating
% 254.76/254.25 eprover: CPU time limit exceeded, terminating
% 256.78/256.25 eprover: CPU time limit exceeded, terminating
% 258.79/258.26 eprover: CPU time limit exceeded, terminating
% 260.78/260.27 eprover: CPU time limit exceeded, terminating
% 262.80/262.28 eprover: CPU time limit exceeded, terminating
% 264.84/264.28 eprover: CPU time limit exceeded, terminating
% 268.83/268.27 eprover: CPU time limit exceeded, terminating
% 270.86/270.27 eprover: CPU time limit exceeded, terminating
% 300.08/299.39 eprover: CPU time limit exceeded, terminating
% 300.08/299.40 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------