TSTP Solution File: NLP088-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP088-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:32:20 EDT 2022
% Result : Timeout 290.11s 289.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NLP088-1 : TPTP v8.1.0. Released v2.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n024.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 09:47:30 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.86/4.05 eprover: CPU time limit exceeded, terminating
% 5.86/6.06 eprover: CPU time limit exceeded, terminating
% 7.87/8.07 eprover: CPU time limit exceeded, terminating
% 9.91/10.08 eprover: CPU time limit exceeded, terminating
% 11.89/12.09 eprover: CPU time limit exceeded, terminating
% 13.90/14.09 eprover: CPU time limit exceeded, terminating
% 15.94/16.10 eprover: CPU time limit exceeded, terminating
% 17.91/18.11 eprover: CPU time limit exceeded, terminating
% 19.97/20.12 eprover: CPU time limit exceeded, terminating
% 21.96/22.13 eprover: CPU time limit exceeded, terminating
% 23.99/24.13 eprover: CPU time limit exceeded, terminating
% 25.98/26.14 eprover: CPU time limit exceeded, terminating
% 27.94/28.15 eprover: CPU time limit exceeded, terminating
% 30.03/30.15 eprover: CPU time limit exceeded, terminating
% 32.01/32.16 eprover: CPU time limit exceeded, terminating
% 34.02/34.17 eprover: CPU time limit exceeded, terminating
% 36.03/36.18 eprover: CPU time limit exceeded, terminating
% 38.03/38.19 eprover: CPU time limit exceeded, terminating
% 40.05/40.20 eprover: CPU time limit exceeded, terminating
% 42.09/42.20 eprover: CPU time limit exceeded, terminating
% 44.05/44.21 eprover: CPU time limit exceeded, terminating
% 46.12/46.22 eprover: CPU time limit exceeded, terminating
% 48.09/48.23 eprover: CPU time limit exceeded, terminating
% 50.14/50.24 eprover: CPU time limit exceeded, terminating
% 52.13/52.24 eprover: CPU time limit exceeded, terminating
% 54.15/54.25 eprover: CPU time limit exceeded, terminating
% 56.17/56.26 eprover: CPU time limit exceeded, terminating
% 58.16/58.27 eprover: CPU time limit exceeded, terminating
% 60.20/60.28 eprover: CPU time limit exceeded, terminating
% 62.18/62.28 eprover: CPU time limit exceeded, terminating
% 64.19/64.29 eprover: CPU time limit exceeded, terminating
% 66.19/66.30 eprover: CPU time limit exceeded, terminating
% 68.24/68.31 eprover: CPU time limit exceeded, terminating
% 70.21/70.32 eprover: CPU time limit exceeded, terminating
% 72.26/72.32 eprover: CPU time limit exceeded, terminating
% 74.25/74.33 eprover: CPU time limit exceeded, terminating
% 76.23/76.34 eprover: CPU time limit exceeded, terminating
% 78.30/78.35 eprover: CPU time limit exceeded, terminating
% 80.31/80.36 eprover: CPU time limit exceeded, terminating
% 82.31/82.36 eprover: CPU time limit exceeded, terminating
% 84.32/84.37 eprover: CPU time limit exceeded, terminating
% 86.34/86.38 eprover: CPU time limit exceeded, terminating
% 88.32/88.38 eprover: CPU time limit exceeded, terminating
% 90.33/90.39 eprover: CPU time limit exceeded, terminating
% 92.34/92.40 eprover: CPU time limit exceeded, terminating
% 94.36/94.41 eprover: CPU time limit exceeded, terminating
% 96.36/96.41 eprover: CPU time limit exceeded, terminating
% 98.40/98.42 eprover: CPU time limit exceeded, terminating
% 100.36/100.43 eprover: CPU time limit exceeded, terminating
% 102.36/102.44 eprover: CPU time limit exceeded, terminating
% 104.42/104.45 eprover: CPU time limit exceeded, terminating
% 106.43/106.45 eprover: CPU time limit exceeded, terminating
% 108.48/108.46 eprover: CPU time limit exceeded, terminating
% 110.48/110.47 eprover: CPU time limit exceeded, terminating
% 112.48/112.48 eprover: CPU time limit exceeded, terminating
% 114.47/114.48 eprover: CPU time limit exceeded, terminating
% 116.50/116.49 eprover: CPU time limit exceeded, terminating
% 118.48/118.50 eprover: CPU time limit exceeded, terminating
% 120.52/120.51 eprover: CPU time limit exceeded, terminating
% 122.52/122.51 eprover: CPU time limit exceeded, terminating
% 124.56/124.52 eprover: CPU time limit exceeded, terminating
% 126.53/126.53 eprover: CPU time limit exceeded, terminating
% 128.52/128.54 eprover: CPU time limit exceeded, terminating
% 130.60/130.55 eprover: CPU time limit exceeded, terminating
% 132.59/132.55 eprover: CPU time limit exceeded, terminating
% 134.59/134.56 eprover: CPU time limit exceeded, terminating
% 136.63/136.57 eprover: CPU time limit exceeded, terminating
% 138.62/138.57 eprover: CPU time limit exceeded, terminating
% 140.67/140.58 eprover: CPU time limit exceeded, terminating
% 142.65/142.59 eprover: CPU time limit exceeded, terminating
% 144.65/144.60 eprover: CPU time limit exceeded, terminating
% 146.65/146.60 eprover: CPU time limit exceeded, terminating
% 148.66/148.61 eprover: CPU time limit exceeded, terminating
% 150.72/150.62 eprover: CPU time limit exceeded, terminating
% 152.66/152.62 eprover: CPU time limit exceeded, terminating
% 154.67/154.63 eprover: CPU time limit exceeded, terminating
% 156.73/156.64 eprover: CPU time limit exceeded, terminating
% 158.75/158.65 eprover: CPU time limit exceeded, terminating
% 160.74/160.65 eprover: CPU time limit exceeded, terminating
% 162.75/162.66 eprover: CPU time limit exceeded, terminating
% 164.76/164.67 eprover: CPU time limit exceeded, terminating
% 166.80/166.68 eprover: CPU time limit exceeded, terminating
% 168.79/168.69 eprover: CPU time limit exceeded, terminating
% 170.79/170.69 eprover: CPU time limit exceeded, terminating
% 172.81/172.70 eprover: CPU time limit exceeded, terminating
% 174.79/174.71 eprover: CPU time limit exceeded, terminating
% 176.86/176.72 eprover: CPU time limit exceeded, terminating
% 178.82/178.73 eprover: CPU time limit exceeded, terminating
% 180.79/180.73 eprover: CPU time limit exceeded, terminating
% 182.89/182.74 eprover: CPU time limit exceeded, terminating
% 184.90/184.75 eprover: CPU time limit exceeded, terminating
% 186.89/186.76 eprover: CPU time limit exceeded, terminating
% 188.92/188.77 eprover: CPU time limit exceeded, terminating
% 190.91/190.77 eprover: CPU time limit exceeded, terminating
% 192.93/192.78 eprover: CPU time limit exceeded, terminating
% 194.93/194.79 eprover: CPU time limit exceeded, terminating
% 196.94/196.80 eprover: CPU time limit exceeded, terminating
% 198.96/198.80 eprover: CPU time limit exceeded, terminating
% 200.94/200.81 eprover: CPU time limit exceeded, terminating
% 202.96/202.82 eprover: CPU time limit exceeded, terminating
% 204.94/204.83 eprover: CPU time limit exceeded, terminating
% 206.95/206.83 eprover: CPU time limit exceeded, terminating
% 209.04/208.84 eprover: CPU time limit exceeded, terminating
% 211.05/210.85 eprover: CPU time limit exceeded, terminating
% 213.06/212.85 eprover: CPU time limit exceeded, terminating
% 215.07/214.86 eprover: CPU time limit exceeded, terminating
% 217.09/216.87 eprover: CPU time limit exceeded, terminating
% 219.09/218.88 eprover: CPU time limit exceeded, terminating
% 221.09/220.88 eprover: CPU time limit exceeded, terminating
% 223.09/222.89 eprover: CPU time limit exceeded, terminating
% 225.07/224.90 eprover: CPU time limit exceeded, terminating
% 227.09/226.91 eprover: CPU time limit exceeded, terminating
% 229.07/228.91 eprover: CPU time limit exceeded, terminating
% 231.08/230.92 eprover: CPU time limit exceeded, terminating
% 233.13/232.93 eprover: CPU time limit exceeded, terminating
% 235.15/234.94 eprover: CPU time limit exceeded, terminating
% 237.19/236.94 eprover: CPU time limit exceeded, terminating
% 239.15/238.95 eprover: CPU time limit exceeded, terminating
% 241.22/240.96 eprover: CPU time limit exceeded, terminating
% 243.24/242.97 eprover: CPU time limit exceeded, terminating
% 245.22/244.97 eprover: CPU time limit exceeded, terminating
% 247.25/246.98 eprover: CPU time limit exceeded, terminating
% 249.22/248.99 eprover: CPU time limit exceeded, terminating
% 251.24/251.00 eprover: CPU time limit exceeded, terminating
% 253.27/253.00 eprover: CPU time limit exceeded, terminating
% 255.24/255.01 eprover: CPU time limit exceeded, terminating
% 257.27/257.02 eprover: CPU time limit exceeded, terminating
% 259.30/259.02 eprover: CPU time limit exceeded, terminating
% 261.26/261.03 eprover: CPU time limit exceeded, terminating
% 263.32/263.04 eprover: CPU time limit exceeded, terminating
% 265.29/265.05 eprover: CPU time limit exceeded, terminating
% 267.34/267.05 eprover: CPU time limit exceeded, terminating
% 269.36/269.06 eprover: CPU time limit exceeded, terminating
% 271.37/271.07 eprover: CPU time limit exceeded, terminating
% 273.36/273.07 eprover: CPU time limit exceeded, terminating
% 275.36/275.08 eprover: CPU time limit exceeded, terminating
% 277.42/277.09 eprover: CPU time limit exceeded, terminating
% 279.43/279.10 eprover: CPU time limit exceeded, terminating
% 281.43/281.10 eprover: CPU time limit exceeded, terminating
% 283.44/283.11 eprover: CPU time limit exceeded, terminating
% 290.11/289.77 eprover: CPU time limit exceeded, terminating
% 300.13/299.77 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------