TSTP Solution File: NLP184-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP184-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n012.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:15 EDT 2022
% Result : Timeout 300.00s 298.45s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NLP184-1 : TPTP v8.1.0. Released v2.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n012.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 23:23:32 EDT 2022
% 0.12/0.34 % CPUTime :
% 4.50/4.73 eprover: CPU time limit exceeded, terminating
% 11.74/11.90 eprover: CPU time limit exceeded, terminating
% 13.71/13.91 eprover: CPU time limit exceeded, terminating
% 15.77/15.92 eprover: CPU time limit exceeded, terminating
% 17.73/17.93 eprover: CPU time limit exceeded, terminating
% 19.72/19.94 eprover: CPU time limit exceeded, terminating
% 21.82/21.95 eprover: CPU time limit exceeded, terminating
% 23.80/23.96 eprover: CPU time limit exceeded, terminating
% 25.81/25.97 eprover: CPU time limit exceeded, terminating
% 35.40/35.50 eprover: CPU time limit exceeded, terminating
% 37.41/37.51 eprover: CPU time limit exceeded, terminating
% 39.42/39.52 eprover: CPU time limit exceeded, terminating
% 41.42/41.52 eprover: CPU time limit exceeded, terminating
% 43.41/43.53 eprover: CPU time limit exceeded, terminating
% 45.46/45.54 eprover: CPU time limit exceeded, terminating
% 47.42/47.55 eprover: CPU time limit exceeded, terminating
% 49.47/49.55 eprover: CPU time limit exceeded, terminating
% 51.48/51.56 eprover: CPU time limit exceeded, terminating
% 53.50/53.57 eprover: CPU time limit exceeded, terminating
% 55.52/55.57 eprover: CPU time limit exceeded, terminating
% 57.51/57.58 eprover: CPU time limit exceeded, terminating
% 59.53/59.59 eprover: CPU time limit exceeded, terminating
% 61.51/61.59 eprover: CPU time limit exceeded, terminating
% 63.54/63.60 eprover: CPU time limit exceeded, terminating
% 65.53/65.61 eprover: CPU time limit exceeded, terminating
% 67.58/67.62 eprover: CPU time limit exceeded, terminating
% 69.52/69.63 eprover: CPU time limit exceeded, terminating
% 71.55/71.63 eprover: CPU time limit exceeded, terminating
% 73.62/73.64 eprover: CPU time limit exceeded, terminating
% 77.84/77.85 eprover: CPU time limit exceeded, terminating
% 88.45/88.45 eprover: CPU time limit exceeded, terminating
% 90.39/90.46 eprover: CPU time limit exceeded, terminating
% 92.47/92.47 eprover: CPU time limit exceeded, terminating
% 94.51/94.48 eprover: CPU time limit exceeded, terminating
% 96.49/96.49 eprover: CPU time limit exceeded, terminating
% 98.51/98.50 eprover: CPU time limit exceeded, terminating
% 100.56/100.50 eprover: CPU time limit exceeded, terminating
% 110.18/110.10 eprover: CPU time limit exceeded, terminating
% 112.18/112.11 eprover: CPU time limit exceeded, terminating
% 114.20/114.12 eprover: CPU time limit exceeded, terminating
% 116.18/116.13 eprover: CPU time limit exceeded, terminating
% 118.14/118.13 eprover: CPU time limit exceeded, terminating
% 120.20/120.14 eprover: CPU time limit exceeded, terminating
% 122.22/122.15 eprover: CPU time limit exceeded, terminating
% 124.21/124.15 eprover: CPU time limit exceeded, terminating
% 126.25/126.16 eprover: CPU time limit exceeded, terminating
% 128.27/128.17 eprover: CPU time limit exceeded, terminating
% 130.31/130.18 eprover: CPU time limit exceeded, terminating
% 132.29/132.18 eprover: CPU time limit exceeded, terminating
% 134.31/134.19 eprover: CPU time limit exceeded, terminating
% 136.29/136.20 eprover: CPU time limit exceeded, terminating
% 153.56/153.42 eprover: CPU time limit exceeded, terminating
% 155.63/155.43 eprover: CPU time limit exceeded, terminating
% 157.62/157.44 eprover: CPU time limit exceeded, terminating
% 159.65/159.44 eprover: CPU time limit exceeded, terminating
% 161.67/161.45 eprover: CPU time limit exceeded, terminating
% 163.65/163.46 eprover: CPU time limit exceeded, terminating
% 165.69/165.47 eprover: CPU time limit exceeded, terminating
% 167.69/167.48 eprover: CPU time limit exceeded, terminating
% 169.70/169.48 eprover: CPU time limit exceeded, terminating
% 171.69/171.49 eprover: CPU time limit exceeded, terminating
% 173.68/173.50 eprover: CPU time limit exceeded, terminating
% 175.74/175.51 eprover: CPU time limit exceeded, terminating
% 177.69/177.51 eprover: CPU time limit exceeded, terminating
% 179.73/179.52 eprover: CPU time limit exceeded, terminating
% 186.09/185.83 eprover: CPU time limit exceeded, terminating
% 188.07/187.84 eprover: CPU time limit exceeded, terminating
% 190.11/189.85 eprover: CPU time limit exceeded, terminating
% 192.13/191.86 eprover: CPU time limit exceeded, terminating
% 194.16/193.87 eprover: CPU time limit exceeded, terminating
% 196.14/195.88 eprover: CPU time limit exceeded, terminating
% 198.14/197.88 eprover: CPU time limit exceeded, terminating
% 200.17/199.90 eprover: CPU time limit exceeded, terminating
% 202.20/201.90 eprover: CPU time limit exceeded, terminating
% 204.16/203.91 eprover: CPU time limit exceeded, terminating
% 206.18/205.92 eprover: CPU time limit exceeded, terminating
% 208.22/207.92 eprover: CPU time limit exceeded, terminating
% 210.25/209.93 eprover: CPU time limit exceeded, terminating
% 212.25/211.94 eprover: CPU time limit exceeded, terminating
% 214.21/213.95 eprover: CPU time limit exceeded, terminating
% 216.27/215.96 eprover: CPU time limit exceeded, terminating
% 218.28/217.96 eprover: CPU time limit exceeded, terminating
% 220.32/219.97 eprover: CPU time limit exceeded, terminating
% 222.29/221.98 eprover: CPU time limit exceeded, terminating
% 224.30/223.99 eprover: CPU time limit exceeded, terminating
% 228.72/228.37 eprover: CPU time limit exceeded, terminating
% 232.41/232.09 eprover: CPU time limit exceeded, terminating
% 239.19/238.83 eprover: CPU time limit exceeded, terminating
% 248.00/247.61 eprover: CPU time limit exceeded, terminating
% 253.70/253.28 eprover: CPU time limit exceeded, terminating
% 255.73/255.29 eprover: CPU time limit exceeded, terminating
% 258.28/257.84 eprover: CPU time limit exceeded, terminating
% 263.68/263.21 eprover: CPU time limit exceeded, terminating
% 272.89/271.93 eprover: CPU time limit exceeded, terminating
% 276.75/275.72 eprover: CPU time limit exceeded, terminating
% 283.22/282.21 eprover: CPU time limit exceeded, terminating
% 285.26/284.21 eprover: CPU time limit exceeded, terminating
% 300.00/298.45 eprover: CPU time limit exceeded, terminating
% 300.00/298.46 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------