TSTP Solution File: NLP092-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP092-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:32:22 EDT 2022
% Result : Timeout 290.16s 289.94s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.10 % Problem : NLP092-1 : TPTP v8.1.0. Released v2.4.0.
% 0.08/0.10 % Command : run_infinox %s
% 0.10/0.31 % Computer : n012.cluster.edu
% 0.10/0.31 % Model : x86_64 x86_64
% 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.31 % Memory : 8042.1875MB
% 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.31 % CPULimit : 300
% 0.10/0.31 % WCLimit : 600
% 0.10/0.31 % DateTime : Fri Jul 1 07:03:02 EDT 2022
% 0.10/0.31 % CPUTime :
% 3.67/3.88 eprover: CPU time limit exceeded, terminating
% 5.69/5.88 eprover: CPU time limit exceeded, terminating
% 7.72/7.89 eprover: CPU time limit exceeded, terminating
% 9.67/9.90 eprover: CPU time limit exceeded, terminating
% 11.72/11.91 eprover: CPU time limit exceeded, terminating
% 13.74/13.91 eprover: CPU time limit exceeded, terminating
% 15.77/15.92 eprover: CPU time limit exceeded, terminating
% 17.78/17.93 eprover: CPU time limit exceeded, terminating
% 19.76/19.94 eprover: CPU time limit exceeded, terminating
% 21.78/21.94 eprover: CPU time limit exceeded, terminating
% 23.80/23.95 eprover: CPU time limit exceeded, terminating
% 25.75/25.96 eprover: CPU time limit exceeded, terminating
% 27.80/27.96 eprover: CPU time limit exceeded, terminating
% 29.80/29.97 eprover: CPU time limit exceeded, terminating
% 31.85/31.98 eprover: CPU time limit exceeded, terminating
% 33.83/33.98 eprover: CPU time limit exceeded, terminating
% 35.81/35.99 eprover: CPU time limit exceeded, terminating
% 37.88/38.00 eprover: CPU time limit exceeded, terminating
% 39.89/40.01 eprover: CPU time limit exceeded, terminating
% 41.91/42.01 eprover: CPU time limit exceeded, terminating
% 43.92/44.02 eprover: CPU time limit exceeded, terminating
% 45.90/46.03 eprover: CPU time limit exceeded, terminating
% 47.92/48.04 eprover: CPU time limit exceeded, terminating
% 49.94/50.04 eprover: CPU time limit exceeded, terminating
% 51.89/52.05 eprover: CPU time limit exceeded, terminating
% 53.96/54.06 eprover: CPU time limit exceeded, terminating
% 55.97/56.06 eprover: CPU time limit exceeded, terminating
% 57.98/58.07 eprover: CPU time limit exceeded, terminating
% 59.97/60.08 eprover: CPU time limit exceeded, terminating
% 61.97/62.08 eprover: CPU time limit exceeded, terminating
% 64.00/64.09 eprover: CPU time limit exceeded, terminating
% 66.04/66.10 eprover: CPU time limit exceeded, terminating
% 68.00/68.11 eprover: CPU time limit exceeded, terminating
% 70.07/70.11 eprover: CPU time limit exceeded, terminating
% 72.04/72.12 eprover: CPU time limit exceeded, terminating
% 74.09/74.13 eprover: CPU time limit exceeded, terminating
% 76.10/76.14 eprover: CPU time limit exceeded, terminating
% 78.06/78.14 eprover: CPU time limit exceeded, terminating
% 80.10/80.15 eprover: CPU time limit exceeded, terminating
% 82.10/82.16 eprover: CPU time limit exceeded, terminating
% 84.14/84.16 eprover: CPU time limit exceeded, terminating
% 86.11/86.17 eprover: CPU time limit exceeded, terminating
% 88.12/88.18 eprover: CPU time limit exceeded, terminating
% 90.17/90.18 eprover: CPU time limit exceeded, terminating
% 92.18/92.19 eprover: CPU time limit exceeded, terminating
% 94.15/94.20 eprover: CPU time limit exceeded, terminating
% 96.20/96.21 eprover: CPU time limit exceeded, terminating
% 98.19/98.21 eprover: CPU time limit exceeded, terminating
% 100.17/100.22 eprover: CPU time limit exceeded, terminating
% 102.24/102.23 eprover: CPU time limit exceeded, terminating
% 104.20/104.23 eprover: CPU time limit exceeded, terminating
% 106.26/106.24 eprover: CPU time limit exceeded, terminating
% 108.27/108.25 eprover: CPU time limit exceeded, terminating
% 110.29/110.26 eprover: CPU time limit exceeded, terminating
% 112.26/112.26 eprover: CPU time limit exceeded, terminating
% 114.29/114.27 eprover: CPU time limit exceeded, terminating
% 116.31/116.28 eprover: CPU time limit exceeded, terminating
% 118.33/118.28 eprover: CPU time limit exceeded, terminating
% 120.30/120.29 eprover: CPU time limit exceeded, terminating
% 122.35/122.30 eprover: CPU time limit exceeded, terminating
% 124.35/124.30 eprover: CPU time limit exceeded, terminating
% 126.31/126.31 eprover: CPU time limit exceeded, terminating
% 128.39/128.32 eprover: CPU time limit exceeded, terminating
% 130.36/130.33 eprover: CPU time limit exceeded, terminating
% 132.40/132.33 eprover: CPU time limit exceeded, terminating
% 134.40/134.34 eprover: CPU time limit exceeded, terminating
% 136.39/136.35 eprover: CPU time limit exceeded, terminating
% 138.39/138.35 eprover: CPU time limit exceeded, terminating
% 140.45/140.36 eprover: CPU time limit exceeded, terminating
% 142.39/142.37 eprover: CPU time limit exceeded, terminating
% 144.49/144.37 eprover: CPU time limit exceeded, terminating
% 146.45/146.38 eprover: CPU time limit exceeded, terminating
% 148.49/148.39 eprover: CPU time limit exceeded, terminating
% 150.49/150.40 eprover: CPU time limit exceeded, terminating
% 152.45/152.40 eprover: CPU time limit exceeded, terminating
% 154.51/154.41 eprover: CPU time limit exceeded, terminating
% 156.51/156.42 eprover: CPU time limit exceeded, terminating
% 158.56/158.43 eprover: CPU time limit exceeded, terminating
% 160.57/160.43 eprover: CPU time limit exceeded, terminating
% 162.55/162.44 eprover: CPU time limit exceeded, terminating
% 164.56/164.45 eprover: CPU time limit exceeded, terminating
% 166.59/166.45 eprover: CPU time limit exceeded, terminating
% 168.56/168.46 eprover: CPU time limit exceeded, terminating
% 170.58/170.47 eprover: CPU time limit exceeded, terminating
% 172.59/172.47 eprover: CPU time limit exceeded, terminating
% 174.65/174.48 eprover: CPU time limit exceeded, terminating
% 176.66/176.49 eprover: CPU time limit exceeded, terminating
% 178.60/178.50 eprover: CPU time limit exceeded, terminating
% 180.67/180.50 eprover: CPU time limit exceeded, terminating
% 182.68/182.51 eprover: CPU time limit exceeded, terminating
% 184.68/184.52 eprover: CPU time limit exceeded, terminating
% 186.66/186.52 eprover: CPU time limit exceeded, terminating
% 188.69/188.53 eprover: CPU time limit exceeded, terminating
% 190.71/190.54 eprover: CPU time limit exceeded, terminating
% 192.75/192.54 eprover: CPU time limit exceeded, terminating
% 194.69/194.55 eprover: CPU time limit exceeded, terminating
% 196.73/196.56 eprover: CPU time limit exceeded, terminating
% 198.75/198.57 eprover: CPU time limit exceeded, terminating
% 200.77/200.57 eprover: CPU time limit exceeded, terminating
% 202.74/202.58 eprover: CPU time limit exceeded, terminating
% 204.77/204.59 eprover: CPU time limit exceeded, terminating
% 206.81/206.59 eprover: CPU time limit exceeded, terminating
% 208.83/208.60 eprover: CPU time limit exceeded, terminating
% 210.77/210.61 eprover: CPU time limit exceeded, terminating
% 212.85/212.61 eprover: CPU time limit exceeded, terminating
% 214.85/214.62 eprover: CPU time limit exceeded, terminating
% 216.87/216.63 eprover: CPU time limit exceeded, terminating
% 218.89/218.63 eprover: CPU time limit exceeded, terminating
% 220.84/220.64 eprover: CPU time limit exceeded, terminating
% 222.89/222.65 eprover: CPU time limit exceeded, terminating
% 224.89/224.66 eprover: CPU time limit exceeded, terminating
% 226.85/226.66 eprover: CPU time limit exceeded, terminating
% 228.90/228.67 eprover: CPU time limit exceeded, terminating
% 230.89/230.68 eprover: CPU time limit exceeded, terminating
% 232.96/232.68 eprover: CPU time limit exceeded, terminating
% 234.89/234.69 eprover: CPU time limit exceeded, terminating
% 237.00/236.70 eprover: CPU time limit exceeded, terminating
% 239.00/238.70 eprover: CPU time limit exceeded, terminating
% 240.93/240.71 eprover: CPU time limit exceeded, terminating
% 243.02/242.72 eprover: CPU time limit exceeded, terminating
% 244.96/244.76 eprover: CPU time limit exceeded, terminating
% 246.97/246.77 eprover: CPU time limit exceeded, terminating
% 249.04/248.78 eprover: CPU time limit exceeded, terminating
% 251.01/250.79 eprover: CPU time limit exceeded, terminating
% 253.06/252.80 eprover: CPU time limit exceeded, terminating
% 255.08/254.81 eprover: CPU time limit exceeded, terminating
% 257.07/256.83 eprover: CPU time limit exceeded, terminating
% 259.10/258.83 eprover: CPU time limit exceeded, terminating
% 261.08/260.84 eprover: CPU time limit exceeded, terminating
% 263.08/262.87 eprover: CPU time limit exceeded, terminating
% 265.07/264.88 eprover: CPU time limit exceeded, terminating
% 267.16/266.89 eprover: CPU time limit exceeded, terminating
% 269.16/268.91 eprover: CPU time limit exceeded, terminating
% 271.15/270.92 eprover: CPU time limit exceeded, terminating
% 273.17/272.93 eprover: CPU time limit exceeded, terminating
% 275.16/274.94 eprover: CPU time limit exceeded, terminating
% 277.18/276.95 eprover: CPU time limit exceeded, terminating
% 279.16/278.96 eprover: CPU time limit exceeded, terminating
% 281.14/280.97 eprover: CPU time limit exceeded, terminating
% 283.17/282.97 eprover: CPU time limit exceeded, terminating
% 290.16/289.94 eprover: CPU time limit exceeded, terminating
% 300.11/299.81 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------