TSTP Solution File: NLP189-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP189-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n004.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:17 EDT 2022
% Result : Timeout 288.46s 287.95s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NLP189-1 : TPTP v8.1.0. Released v2.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n004.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 : Thu Jun 30 20:26:53 EDT 2022
% 0.13/0.34 % CPUTime :
% 4.08/4.29 eprover: CPU time limit exceeded, terminating
% 10.32/10.53 eprover: CPU time limit exceeded, terminating
% 12.34/12.54 eprover: CPU time limit exceeded, terminating
% 14.35/14.55 eprover: CPU time limit exceeded, terminating
% 16.41/16.56 eprover: CPU time limit exceeded, terminating
% 18.33/18.57 eprover: CPU time limit exceeded, terminating
% 20.42/20.58 eprover: CPU time limit exceeded, terminating
% 22.45/22.59 eprover: CPU time limit exceeded, terminating
% 24.47/24.60 eprover: CPU time limit exceeded, terminating
% 32.29/32.39 eprover: CPU time limit exceeded, terminating
% 34.28/34.40 eprover: CPU time limit exceeded, terminating
% 36.29/36.41 eprover: CPU time limit exceeded, terminating
% 38.33/38.42 eprover: CPU time limit exceeded, terminating
% 40.34/40.43 eprover: CPU time limit exceeded, terminating
% 42.34/42.43 eprover: CPU time limit exceeded, terminating
% 44.37/44.44 eprover: CPU time limit exceeded, terminating
% 46.35/46.45 eprover: CPU time limit exceeded, terminating
% 48.37/48.46 eprover: CPU time limit exceeded, terminating
% 50.36/50.46 eprover: CPU time limit exceeded, terminating
% 52.37/52.47 eprover: CPU time limit exceeded, terminating
% 54.38/54.48 eprover: CPU time limit exceeded, terminating
% 56.43/56.49 eprover: CPU time limit exceeded, terminating
% 58.40/58.49 eprover: CPU time limit exceeded, terminating
% 60.44/60.50 eprover: CPU time limit exceeded, terminating
% 62.46/62.51 eprover: CPU time limit exceeded, terminating
% 64.49/64.58 eprover: CPU time limit exceeded, terminating
% 66.45/66.59 eprover: CPU time limit exceeded, terminating
% 68.46/68.59 eprover: CPU time limit exceeded, terminating
% 70.50/70.60 eprover: CPU time limit exceeded, terminating
% 74.88/74.98 eprover: CPU time limit exceeded, terminating
% 83.81/83.92 eprover: CPU time limit exceeded, terminating
% 85.82/85.93 eprover: CPU time limit exceeded, terminating
% 87.92/87.94 eprover: CPU time limit exceeded, terminating
% 89.93/89.95 eprover: CPU time limit exceeded, terminating
% 91.95/91.96 eprover: CPU time limit exceeded, terminating
% 93.95/93.97 eprover: CPU time limit exceeded, terminating
% 95.94/95.98 eprover: CPU time limit exceeded, terminating
% 104.23/104.21 eprover: CPU time limit exceeded, terminating
% 106.21/106.22 eprover: CPU time limit exceeded, terminating
% 108.24/108.23 eprover: CPU time limit exceeded, terminating
% 110.24/110.24 eprover: CPU time limit exceeded, terminating
% 112.25/112.25 eprover: CPU time limit exceeded, terminating
% 114.31/114.25 eprover: CPU time limit exceeded, terminating
% 116.31/116.26 eprover: CPU time limit exceeded, terminating
% 118.30/118.27 eprover: CPU time limit exceeded, terminating
% 120.30/120.27 eprover: CPU time limit exceeded, terminating
% 122.34/122.28 eprover: CPU time limit exceeded, terminating
% 124.32/124.29 eprover: CPU time limit exceeded, terminating
% 126.34/126.30 eprover: CPU time limit exceeded, terminating
% 128.32/128.31 eprover: CPU time limit exceeded, terminating
% 130.33/130.31 eprover: CPU time limit exceeded, terminating
% 145.38/145.31 eprover: CPU time limit exceeded, terminating
% 147.43/147.32 eprover: CPU time limit exceeded, terminating
% 149.46/149.33 eprover: CPU time limit exceeded, terminating
% 151.45/151.34 eprover: CPU time limit exceeded, terminating
% 153.43/153.35 eprover: CPU time limit exceeded, terminating
% 155.44/155.36 eprover: CPU time limit exceeded, terminating
% 157.52/157.36 eprover: CPU time limit exceeded, terminating
% 159.49/159.37 eprover: CPU time limit exceeded, terminating
% 168.78/168.64 eprover: CPU time limit exceeded, terminating
% 174.34/174.16 eprover: CPU time limit exceeded, terminating
% 176.35/176.17 eprover: CPU time limit exceeded, terminating
% 178.36/178.18 eprover: CPU time limit exceeded, terminating
% 180.39/180.19 eprover: CPU time limit exceeded, terminating
% 182.38/182.20 eprover: CPU time limit exceeded, terminating
% 184.40/184.21 eprover: CPU time limit exceeded, terminating
% 186.37/186.22 eprover: CPU time limit exceeded, terminating
% 188.40/188.23 eprover: CPU time limit exceeded, terminating
% 190.46/190.24 eprover: CPU time limit exceeded, terminating
% 192.40/192.25 eprover: CPU time limit exceeded, terminating
% 194.47/194.25 eprover: CPU time limit exceeded, terminating
% 196.50/196.26 eprover: CPU time limit exceeded, terminating
% 198.48/198.27 eprover: CPU time limit exceeded, terminating
% 200.52/200.28 eprover: CPU time limit exceeded, terminating
% 202.52/202.29 eprover: CPU time limit exceeded, terminating
% 204.55/204.30 eprover: CPU time limit exceeded, terminating
% 206.52/206.30 eprover: CPU time limit exceeded, terminating
% 208.55/208.31 eprover: CPU time limit exceeded, terminating
% 210.53/210.32 eprover: CPU time limit exceeded, terminating
% 212.55/212.33 eprover: CPU time limit exceeded, terminating
% 217.14/216.89 eprover: CPU time limit exceeded, terminating
% 221.00/220.73 eprover: CPU time limit exceeded, terminating
% 226.98/226.70 eprover: CPU time limit exceeded, terminating
% 234.77/234.49 eprover: CPU time limit exceeded, terminating
% 244.54/244.16 eprover: CPU time limit exceeded, terminating
% 249.56/249.16 eprover: CPU time limit exceeded, terminating
% 257.31/256.89 eprover: CPU time limit exceeded, terminating
% 266.53/266.10 eprover: CPU time limit exceeded, terminating
% 268.51/268.11 eprover: CPU time limit exceeded, terminating
% 288.46/287.95 eprover: CPU time limit exceeded, terminating
% 291.10/290.57 eprover: CPU time limit exceeded, terminating
% 300.03/299.43 eprover: CPU time limit exceeded, terminating
% 300.03/299.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------