TSTP Solution File: NLP220-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP220-10 : TPTP v8.1.0. Released v7.3.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 : Mon Jul 18 02:33:34 EDT 2022
% Result : Timeout 300.09s 299.31s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.01/0.12 % Problem : NLP220-10 : TPTP v8.1.0. Released v7.3.0.
% 0.13/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.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Fri Jul 1 01:11:04 EDT 2022
% 0.19/0.34 % CPUTime :
% 3.65/3.87 eprover: CPU time limit exceeded, terminating
% 6.37/6.59 eprover: CPU time limit exceeded, terminating
% 9.25/9.47 eprover: CPU time limit exceeded, terminating
% 11.95/12.16 eprover: CPU time limit exceeded, terminating
% 14.30/14.45 eprover: CPU time limit exceeded, terminating
% 17.55/17.71 eprover: CPU time limit exceeded, terminating
% 21.68/21.78 eprover: CPU time limit exceeded, terminating
% 24.42/24.57 eprover: CPU time limit exceeded, terminating
% 27.31/27.46 eprover: CPU time limit exceeded, terminating
% 30.85/30.97 eprover: CPU time limit exceeded, terminating
% 33.52/33.59 eprover: CPU time limit exceeded, terminating
% 36.39/36.45 eprover: CPU time limit exceeded, terminating
% 39.04/39.14 eprover: CPU time limit exceeded, terminating
% 41.72/41.75 eprover: CPU time limit exceeded, terminating
% 43.97/44.04 eprover: CPU time limit exceeded, terminating
% 46.03/46.05 eprover: CPU time limit exceeded, terminating
% 47.99/48.06 eprover: CPU time limit exceeded, terminating
% 50.63/50.71 eprover: CPU time limit exceeded, terminating
% 53.60/53.64 eprover: CPU time limit exceeded, terminating
% 56.22/56.24 eprover: CPU time limit exceeded, terminating
% 58.53/58.53 eprover: CPU time limit exceeded, terminating
% 61.55/61.55 eprover: CPU time limit exceeded, terminating
% 63.82/63.83 eprover: CPU time limit exceeded, terminating
% 65.88/65.84 eprover: CPU time limit exceeded, terminating
% 69.22/69.19 eprover: CPU time limit exceeded, terminating
% 72.41/72.34 eprover: CPU time limit exceeded, terminating
% 74.80/74.72 eprover: CPU time limit exceeded, terminating
% 76.73/76.73 eprover: CPU time limit exceeded, terminating
% 79.60/79.50 eprover: CPU time limit exceeded, terminating
% 83.01/82.94 eprover: CPU time limit exceeded, terminating
% 85.75/85.71 eprover: CPU time limit exceeded, terminating
% 88.42/88.30 eprover: CPU time limit exceeded, terminating
% 90.86/90.73 eprover: CPU time limit exceeded, terminating
% 92.84/92.74 eprover: CPU time limit exceeded, terminating
% 97.38/97.26 eprover: CPU time limit exceeded, terminating
% 99.41/99.27 eprover: CPU time limit exceeded, terminating
% 102.38/102.26 eprover: CPU time limit exceeded, terminating
% 106.92/106.72 eprover: CPU time limit exceeded, terminating
% 108.90/108.73 eprover: CPU time limit exceeded, terminating
% 111.74/111.53 eprover: CPU time limit exceeded, terminating
% 115.56/115.40 eprover: CPU time limit exceeded, terminating
% 117.65/117.41 eprover: CPU time limit exceeded, terminating
% 120.28/120.03 eprover: CPU time limit exceeded, terminating
% 123.61/123.39 eprover: CPU time limit exceeded, terminating
% 155.96/155.63 eprover: CPU time limit exceeded, terminating
% 164.90/164.53 eprover: CPU time limit exceeded, terminating
% 166.90/166.54 eprover: CPU time limit exceeded, terminating
% 168.91/168.55 eprover: CPU time limit exceeded, terminating
% 170.93/170.56 eprover: CPU time limit exceeded, terminating
% 173.00/172.58 eprover: CPU time limit exceeded, terminating
% 175.02/174.59 eprover: CPU time limit exceeded, terminating
% 176.95/176.60 eprover: CPU time limit exceeded, terminating
% 179.03/178.61 eprover: CPU time limit exceeded, terminating
% 181.04/180.63 eprover: CPU time limit exceeded, terminating
% 183.65/183.20 eprover: CPU time limit exceeded, terminating
% 185.66/185.21 eprover: CPU time limit exceeded, terminating
% 187.67/187.23 eprover: CPU time limit exceeded, terminating
% 190.27/189.81 eprover: CPU time limit exceeded, terminating
% 192.29/191.83 eprover: CPU time limit exceeded, terminating
% 194.31/193.84 eprover: CPU time limit exceeded, terminating
% 196.31/195.85 eprover: CPU time limit exceeded, terminating
% 198.29/197.86 eprover: CPU time limit exceeded, terminating
% 200.30/199.88 eprover: CPU time limit exceeded, terminating
% 204.08/203.58 eprover: CPU time limit exceeded, terminating
% 206.09/205.59 eprover: CPU time limit exceeded, terminating
% 208.14/207.60 eprover: CPU time limit exceeded, terminating
% 210.13/209.62 eprover: CPU time limit exceeded, terminating
% 212.14/211.63 eprover: CPU time limit exceeded, terminating
% 214.15/213.64 eprover: CPU time limit exceeded, terminating
% 216.17/215.66 eprover: CPU time limit exceeded, terminating
% 218.17/217.67 eprover: CPU time limit exceeded, terminating
% 220.16/219.68 eprover: CPU time limit exceeded, terminating
% 222.20/221.69 eprover: CPU time limit exceeded, terminating
% 251.16/250.60 eprover: CPU time limit exceeded, terminating
% 253.15/252.61 eprover: CPU time limit exceeded, terminating
% 255.26/254.62 eprover: CPU time limit exceeded, terminating
% 257.26/256.63 eprover: CPU time limit exceeded, terminating
% 259.28/258.65 eprover: CPU time limit exceeded, terminating
% 261.28/260.66 eprover: CPU time limit exceeded, terminating
% 271.02/270.36 eprover: CPU time limit exceeded, terminating
% 273.00/272.37 eprover: CPU time limit exceeded, terminating
% 275.08/274.38 eprover: CPU time limit exceeded, terminating
% 300.09/299.31 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------