TSTP Solution File: NLP091-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP091-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 292.01s 289.61s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : NLP091-1 : TPTP v8.1.0. Released v2.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.32 % Computer : n012.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 : Thu Jun 30 19:05:47 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.79/4.00 eprover: CPU time limit exceeded, terminating
% 5.83/6.00 eprover: CPU time limit exceeded, terminating
% 7.80/8.01 eprover: CPU time limit exceeded, terminating
% 9.84/10.02 eprover: CPU time limit exceeded, terminating
% 11.86/12.03 eprover: CPU time limit exceeded, terminating
% 13.82/14.03 eprover: CPU time limit exceeded, terminating
% 15.89/16.04 eprover: CPU time limit exceeded, terminating
% 17.86/18.05 eprover: CPU time limit exceeded, terminating
% 19.88/20.06 eprover: CPU time limit exceeded, terminating
% 21.90/22.06 eprover: CPU time limit exceeded, terminating
% 23.91/24.07 eprover: CPU time limit exceeded, terminating
% 25.94/26.08 eprover: CPU time limit exceeded, terminating
% 27.90/28.08 eprover: CPU time limit exceeded, terminating
% 29.93/30.09 eprover: CPU time limit exceeded, terminating
% 31.97/32.10 eprover: CPU time limit exceeded, terminating
% 33.98/34.10 eprover: CPU time limit exceeded, terminating
% 36.00/36.11 eprover: CPU time limit exceeded, terminating
% 37.99/38.12 eprover: CPU time limit exceeded, terminating
% 39.99/40.13 eprover: CPU time limit exceeded, terminating
% 42.03/42.13 eprover: CPU time limit exceeded, terminating
% 44.03/44.14 eprover: CPU time limit exceeded, terminating
% 46.05/46.15 eprover: CPU time limit exceeded, terminating
% 48.02/48.16 eprover: CPU time limit exceeded, terminating
% 50.06/50.16 eprover: CPU time limit exceeded, terminating
% 52.05/52.17 eprover: CPU time limit exceeded, terminating
% 54.11/54.18 eprover: CPU time limit exceeded, terminating
% 56.12/56.18 eprover: CPU time limit exceeded, terminating
% 58.11/58.19 eprover: CPU time limit exceeded, terminating
% 60.14/60.20 eprover: CPU time limit exceeded, terminating
% 62.13/62.21 eprover: CPU time limit exceeded, terminating
% 64.07/64.21 eprover: CPU time limit exceeded, terminating
% 66.13/66.22 eprover: CPU time limit exceeded, terminating
% 68.09/68.23 eprover: CPU time limit exceeded, terminating
% 70.18/70.24 eprover: CPU time limit exceeded, terminating
% 72.20/72.24 eprover: CPU time limit exceeded, terminating
% 74.19/74.25 eprover: CPU time limit exceeded, terminating
% 76.13/76.26 eprover: CPU time limit exceeded, terminating
% 78.19/78.26 eprover: CPU time limit exceeded, terminating
% 80.23/80.27 eprover: CPU time limit exceeded, terminating
% 82.21/82.28 eprover: CPU time limit exceeded, terminating
% 84.24/84.28 eprover: CPU time limit exceeded, terminating
% 86.25/86.29 eprover: CPU time limit exceeded, terminating
% 88.28/88.30 eprover: CPU time limit exceeded, terminating
% 90.28/90.31 eprover: CPU time limit exceeded, terminating
% 92.29/92.31 eprover: CPU time limit exceeded, terminating
% 94.32/94.32 eprover: CPU time limit exceeded, terminating
% 96.31/96.33 eprover: CPU time limit exceeded, terminating
% 98.34/98.33 eprover: CPU time limit exceeded, terminating
% 100.36/100.34 eprover: CPU time limit exceeded, terminating
% 102.36/102.35 eprover: CPU time limit exceeded, terminating
% 104.32/104.35 eprover: CPU time limit exceeded, terminating
% 106.40/106.36 eprover: CPU time limit exceeded, terminating
% 108.37/108.37 eprover: CPU time limit exceeded, terminating
% 110.43/110.38 eprover: CPU time limit exceeded, terminating
% 112.40/112.38 eprover: CPU time limit exceeded, terminating
% 114.43/114.39 eprover: CPU time limit exceeded, terminating
% 116.44/116.40 eprover: CPU time limit exceeded, terminating
% 118.38/118.40 eprover: CPU time limit exceeded, terminating
% 120.44/120.41 eprover: CPU time limit exceeded, terminating
% 122.47/122.42 eprover: CPU time limit exceeded, terminating
% 124.49/124.43 eprover: CPU time limit exceeded, terminating
% 126.48/126.43 eprover: CPU time limit exceeded, terminating
% 128.52/128.44 eprover: CPU time limit exceeded, terminating
% 130.53/130.45 eprover: CPU time limit exceeded, terminating
% 132.51/132.45 eprover: CPU time limit exceeded, terminating
% 134.54/134.46 eprover: CPU time limit exceeded, terminating
% 136.49/136.47 eprover: CPU time limit exceeded, terminating
% 138.55/138.47 eprover: CPU time limit exceeded, terminating
% 140.57/140.48 eprover: CPU time limit exceeded, terminating
% 142.55/142.49 eprover: CPU time limit exceeded, terminating
% 144.59/144.50 eprover: CPU time limit exceeded, terminating
% 146.61/146.50 eprover: CPU time limit exceeded, terminating
% 148.57/148.51 eprover: CPU time limit exceeded, terminating
% 150.63/150.52 eprover: CPU time limit exceeded, terminating
% 152.65/152.52 eprover: CPU time limit exceeded, terminating
% 154.56/154.53 eprover: CPU time limit exceeded, terminating
% 156.64/156.54 eprover: CPU time limit exceeded, terminating
% 158.67/158.54 eprover: CPU time limit exceeded, terminating
% 160.67/160.55 eprover: CPU time limit exceeded, terminating
% 162.61/162.56 eprover: CPU time limit exceeded, terminating
% 164.68/164.57 eprover: CPU time limit exceeded, terminating
% 166.72/166.57 eprover: CPU time limit exceeded, terminating
% 168.70/168.58 eprover: CPU time limit exceeded, terminating
% 170.73/170.59 eprover: CPU time limit exceeded, terminating
% 172.70/172.59 eprover: CPU time limit exceeded, terminating
% 174.74/174.60 eprover: CPU time limit exceeded, terminating
% 176.79/176.61 eprover: CPU time limit exceeded, terminating
% 178.76/178.62 eprover: CPU time limit exceeded, terminating
% 180.75/180.62 eprover: CPU time limit exceeded, terminating
% 182.82/182.63 eprover: CPU time limit exceeded, terminating
% 184.79/184.64 eprover: CPU time limit exceeded, terminating
% 186.83/186.64 eprover: CPU time limit exceeded, terminating
% 188.84/188.65 eprover: CPU time limit exceeded, terminating
% 190.85/190.66 eprover: CPU time limit exceeded, terminating
% 192.86/192.66 eprover: CPU time limit exceeded, terminating
% 194.85/194.67 eprover: CPU time limit exceeded, terminating
% 196.86/196.68 eprover: CPU time limit exceeded, terminating
% 198.86/198.69 eprover: CPU time limit exceeded, terminating
% 200.87/200.69 eprover: CPU time limit exceeded, terminating
% 202.86/202.70 eprover: CPU time limit exceeded, terminating
% 204.93/204.71 eprover: CPU time limit exceeded, terminating
% 206.95/206.71 eprover: CPU time limit exceeded, terminating
% 208.94/208.72 eprover: CPU time limit exceeded, terminating
% 210.91/210.73 eprover: CPU time limit exceeded, terminating
% 212.97/212.73 eprover: CPU time limit exceeded, terminating
% 214.99/214.74 eprover: CPU time limit exceeded, terminating
% 216.95/216.75 eprover: CPU time limit exceeded, terminating
% 218.99/218.76 eprover: CPU time limit exceeded, terminating
% 220.92/220.76 eprover: CPU time limit exceeded, terminating
% 224.98/222.77 eprover: CPU time limit exceeded, terminating
% 227.02/224.78 eprover: CPU time limit exceeded, terminating
% 229.04/226.78 eprover: CPU time limit exceeded, terminating
% 231.05/228.79 eprover: CPU time limit exceeded, terminating
% 233.07/230.80 eprover: CPU time limit exceeded, terminating
% 235.05/232.81 eprover: CPU time limit exceeded, terminating
% 237.02/234.81 eprover: CPU time limit exceeded, terminating
% 239.08/236.82 eprover: CPU time limit exceeded, terminating
% 241.11/238.83 eprover: CPU time limit exceeded, terminating
% 243.08/240.83 eprover: CPU time limit exceeded, terminating
% 245.11/242.84 eprover: CPU time limit exceeded, terminating
% 247.10/244.85 eprover: CPU time limit exceeded, terminating
% 249.16/246.85 eprover: CPU time limit exceeded, terminating
% 251.14/248.86 eprover: CPU time limit exceeded, terminating
% 253.16/250.87 eprover: CPU time limit exceeded, terminating
% 255.16/252.88 eprover: CPU time limit exceeded, terminating
% 257.17/254.88 eprover: CPU time limit exceeded, terminating
% 259.19/256.89 eprover: CPU time limit exceeded, terminating
% 261.16/258.90 eprover: CPU time limit exceeded, terminating
% 263.20/260.90 eprover: CPU time limit exceeded, terminating
% 265.23/262.91 eprover: CPU time limit exceeded, terminating
% 267.26/264.92 eprover: CPU time limit exceeded, terminating
% 269.25/266.93 eprover: CPU time limit exceeded, terminating
% 271.23/268.93 eprover: CPU time limit exceeded, terminating
% 273.30/270.94 eprover: CPU time limit exceeded, terminating
% 275.30/272.95 eprover: CPU time limit exceeded, terminating
% 277.31/274.95 eprover: CPU time limit exceeded, terminating
% 279.29/276.96 eprover: CPU time limit exceeded, terminating
% 281.23/278.97 eprover: CPU time limit exceeded, terminating
% 283.29/280.97 eprover: CPU time limit exceeded, terminating
% 285.34/282.98 eprover: CPU time limit exceeded, terminating
% 292.01/289.61 eprover: CPU time limit exceeded, terminating
% 300.10/297.66 eprover: CPU time limit exceeded, terminating
% 300.10/297.67 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------