TSTP Solution File: NLP188-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP188-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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 289.06s 289.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : NLP188-1 : TPTP v8.1.0. Released v2.4.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.32 % Computer : n013.cluster.edu
% 0.12/0.32 % Model : x86_64 x86_64
% 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.32 % Memory : 8042.1875MB
% 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.32 % CPULimit : 300
% 0.12/0.32 % WCLimit : 600
% 0.12/0.32 % DateTime : Fri Jul 1 01:11:44 EDT 2022
% 0.12/0.32 % CPUTime :
% 4.45/4.63 eprover: CPU time limit exceeded, terminating
% 11.79/12.00 eprover: CPU time limit exceeded, terminating
% 13.83/14.01 eprover: CPU time limit exceeded, terminating
% 15.79/16.02 eprover: CPU time limit exceeded, terminating
% 17.83/18.03 eprover: CPU time limit exceeded, terminating
% 19.83/20.05 eprover: CPU time limit exceeded, terminating
% 21.92/22.07 eprover: CPU time limit exceeded, terminating
% 23.92/24.09 eprover: CPU time limit exceeded, terminating
% 25.88/26.10 eprover: CPU time limit exceeded, terminating
% 36.11/36.29 eprover: CPU time limit exceeded, terminating
% 38.10/38.30 eprover: CPU time limit exceeded, terminating
% 40.10/40.30 eprover: CPU time limit exceeded, terminating
% 42.12/42.31 eprover: CPU time limit exceeded, terminating
% 44.16/44.34 eprover: CPU time limit exceeded, terminating
% 46.14/46.35 eprover: CPU time limit exceeded, terminating
% 48.14/48.36 eprover: CPU time limit exceeded, terminating
% 50.20/50.37 eprover: CPU time limit exceeded, terminating
% 52.20/52.38 eprover: CPU time limit exceeded, terminating
% 54.15/54.39 eprover: CPU time limit exceeded, terminating
% 56.22/56.40 eprover: CPU time limit exceeded, terminating
% 58.21/58.41 eprover: CPU time limit exceeded, terminating
% 60.22/60.42 eprover: CPU time limit exceeded, terminating
% 62.22/62.43 eprover: CPU time limit exceeded, terminating
% 64.26/64.44 eprover: CPU time limit exceeded, terminating
% 66.25/66.46 eprover: CPU time limit exceeded, terminating
% 68.31/68.47 eprover: CPU time limit exceeded, terminating
% 70.30/70.48 eprover: CPU time limit exceeded, terminating
% 72.26/72.49 eprover: CPU time limit exceeded, terminating
% 74.30/74.50 eprover: CPU time limit exceeded, terminating
% 79.05/79.29 eprover: CPU time limit exceeded, terminating
% 91.13/91.34 eprover: CPU time limit exceeded, terminating
% 93.10/93.35 eprover: CPU time limit exceeded, terminating
% 95.15/95.37 eprover: CPU time limit exceeded, terminating
% 97.10/97.38 eprover: CPU time limit exceeded, terminating
% 99.13/99.40 eprover: CPU time limit exceeded, terminating
% 101.19/101.41 eprover: CPU time limit exceeded, terminating
% 103.22/103.42 eprover: CPU time limit exceeded, terminating
% 113.20/113.49 eprover: CPU time limit exceeded, terminating
% 115.25/115.52 eprover: CPU time limit exceeded, terminating
% 117.27/117.54 eprover: CPU time limit exceeded, terminating
% 119.20/119.56 eprover: CPU time limit exceeded, terminating
% 121.25/121.57 eprover: CPU time limit exceeded, terminating
% 123.28/123.58 eprover: CPU time limit exceeded, terminating
% 125.33/125.60 eprover: CPU time limit exceeded, terminating
% 127.31/127.60 eprover: CPU time limit exceeded, terminating
% 129.30/129.62 eprover: CPU time limit exceeded, terminating
% 131.36/131.63 eprover: CPU time limit exceeded, terminating
% 133.38/133.64 eprover: CPU time limit exceeded, terminating
% 135.36/135.65 eprover: CPU time limit exceeded, terminating
% 137.38/137.66 eprover: CPU time limit exceeded, terminating
% 139.38/139.67 eprover: CPU time limit exceeded, terminating
% 160.13/160.48 eprover: CPU time limit exceeded, terminating
% 162.21/162.50 eprover: CPU time limit exceeded, terminating
% 164.21/164.52 eprover: CPU time limit exceeded, terminating
% 166.17/166.54 eprover: CPU time limit exceeded, terminating
% 168.18/168.59 eprover: CPU time limit exceeded, terminating
% 170.25/170.60 eprover: CPU time limit exceeded, terminating
% 172.29/172.61 eprover: CPU time limit exceeded, terminating
% 174.29/174.64 eprover: CPU time limit exceeded, terminating
% 176.30/176.65 eprover: CPU time limit exceeded, terminating
% 178.28/178.66 eprover: CPU time limit exceeded, terminating
% 180.28/180.67 eprover: CPU time limit exceeded, terminating
% 182.33/182.69 eprover: CPU time limit exceeded, terminating
% 184.34/184.69 eprover: CPU time limit exceeded, terminating
% 186.35/186.74 eprover: CPU time limit exceeded, terminating
% 193.35/193.73 eprover: CPU time limit exceeded, terminating
% 195.33/195.74 eprover: CPU time limit exceeded, terminating
% 197.32/197.75 eprover: CPU time limit exceeded, terminating
% 199.38/199.77 eprover: CPU time limit exceeded, terminating
% 201.41/201.79 eprover: CPU time limit exceeded, terminating
% 203.37/203.80 eprover: CPU time limit exceeded, terminating
% 205.42/205.81 eprover: CPU time limit exceeded, terminating
% 207.43/207.83 eprover: CPU time limit exceeded, terminating
% 209.47/209.84 eprover: CPU time limit exceeded, terminating
% 211.41/211.86 eprover: CPU time limit exceeded, terminating
% 213.47/213.87 eprover: CPU time limit exceeded, terminating
% 215.52/215.89 eprover: CPU time limit exceeded, terminating
% 217.47/217.90 eprover: CPU time limit exceeded, terminating
% 219.53/219.91 eprover: CPU time limit exceeded, terminating
% 221.56/221.93 eprover: CPU time limit exceeded, terminating
% 223.52/223.94 eprover: CPU time limit exceeded, terminating
% 225.55/225.95 eprover: CPU time limit exceeded, terminating
% 227.60/227.97 eprover: CPU time limit exceeded, terminating
% 229.56/229.99 eprover: CPU time limit exceeded, terminating
% 231.64/232.01 eprover: CPU time limit exceeded, terminating
% 236.73/237.18 eprover: CPU time limit exceeded, terminating
% 241.01/241.46 eprover: CPU time limit exceeded, terminating
% 248.62/249.01 eprover: CPU time limit exceeded, terminating
% 257.44/257.92 eprover: CPU time limit exceeded, terminating
% 264.06/264.52 eprover: CPU time limit exceeded, terminating
% 266.01/266.54 eprover: CPU time limit exceeded, terminating
% 268.85/269.31 eprover: CPU time limit exceeded, terminating
% 275.10/275.60 eprover: CPU time limit exceeded, terminating
% 281.47/281.95 eprover: CPU time limit exceeded, terminating
% 284.99/285.49 eprover: CPU time limit exceeded, terminating
% 289.06/289.59 eprover: CPU time limit exceeded, terminating
% 296.40/296.90 eprover: CPU time limit exceeded, terminating
% 298.36/298.91 eprover: CPU time limit exceeded, terminating
% 300.47/300.95 eprover: CPU time limit exceeded, terminating
% 300.47/300.97 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------