TSTP Solution File: NLP093-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP093-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:23 EDT 2022
% Result : Timeout 290.47s 290.09s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : NLP093-1 : TPTP v8.1.0. Released v2.4.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.33 % Computer : n028.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Fri Jul 1 01:32:30 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.80/4.00 eprover: CPU time limit exceeded, terminating
% 5.80/6.01 eprover: CPU time limit exceeded, terminating
% 7.81/8.02 eprover: CPU time limit exceeded, terminating
% 9.82/10.02 eprover: CPU time limit exceeded, terminating
% 11.85/12.03 eprover: CPU time limit exceeded, terminating
% 13.84/14.04 eprover: CPU time limit exceeded, terminating
% 15.86/16.05 eprover: CPU time limit exceeded, terminating
% 17.85/18.05 eprover: CPU time limit exceeded, terminating
% 19.84/20.06 eprover: CPU time limit exceeded, terminating
% 21.84/22.07 eprover: CPU time limit exceeded, terminating
% 23.84/24.08 eprover: CPU time limit exceeded, terminating
% 25.86/26.08 eprover: CPU time limit exceeded, terminating
% 27.83/28.09 eprover: CPU time limit exceeded, terminating
% 29.95/30.10 eprover: CPU time limit exceeded, terminating
% 31.94/32.10 eprover: CPU time limit exceeded, terminating
% 33.97/34.11 eprover: CPU time limit exceeded, terminating
% 35.95/36.12 eprover: CPU time limit exceeded, terminating
% 37.98/38.13 eprover: CPU time limit exceeded, terminating
% 39.99/40.14 eprover: CPU time limit exceeded, terminating
% 41.99/42.14 eprover: CPU time limit exceeded, terminating
% 44.02/44.15 eprover: CPU time limit exceeded, terminating
% 45.99/46.16 eprover: CPU time limit exceeded, terminating
% 47.98/48.17 eprover: CPU time limit exceeded, terminating
% 49.99/50.17 eprover: CPU time limit exceeded, terminating
% 52.08/52.18 eprover: CPU time limit exceeded, terminating
% 54.02/54.19 eprover: CPU time limit exceeded, terminating
% 56.02/56.20 eprover: CPU time limit exceeded, terminating
% 58.10/58.20 eprover: CPU time limit exceeded, terminating
% 60.12/60.21 eprover: CPU time limit exceeded, terminating
% 62.15/62.22 eprover: CPU time limit exceeded, terminating
% 64.14/64.23 eprover: CPU time limit exceeded, terminating
% 66.17/66.23 eprover: CPU time limit exceeded, terminating
% 68.13/68.24 eprover: CPU time limit exceeded, terminating
% 70.17/70.25 eprover: CPU time limit exceeded, terminating
% 72.15/72.25 eprover: CPU time limit exceeded, terminating
% 74.13/74.26 eprover: CPU time limit exceeded, terminating
% 76.15/76.27 eprover: CPU time limit exceeded, terminating
% 78.16/78.28 eprover: CPU time limit exceeded, terminating
% 80.17/80.28 eprover: CPU time limit exceeded, terminating
% 82.18/82.29 eprover: CPU time limit exceeded, terminating
% 84.25/84.30 eprover: CPU time limit exceeded, terminating
% 86.26/86.30 eprover: CPU time limit exceeded, terminating
% 88.21/88.31 eprover: CPU time limit exceeded, terminating
% 90.29/90.32 eprover: CPU time limit exceeded, terminating
% 92.30/92.33 eprover: CPU time limit exceeded, terminating
% 94.28/94.33 eprover: CPU time limit exceeded, terminating
% 96.27/96.34 eprover: CPU time limit exceeded, terminating
% 98.32/98.35 eprover: CPU time limit exceeded, terminating
% 100.27/100.36 eprover: CPU time limit exceeded, terminating
% 102.30/102.36 eprover: CPU time limit exceeded, terminating
% 104.34/104.37 eprover: CPU time limit exceeded, terminating
% 106.32/106.38 eprover: CPU time limit exceeded, terminating
% 108.41/108.38 eprover: CPU time limit exceeded, terminating
% 110.34/110.39 eprover: CPU time limit exceeded, terminating
% 112.41/112.40 eprover: CPU time limit exceeded, terminating
% 114.43/114.41 eprover: CPU time limit exceeded, terminating
% 116.36/116.41 eprover: CPU time limit exceeded, terminating
% 118.43/118.42 eprover: CPU time limit exceeded, terminating
% 120.45/120.43 eprover: CPU time limit exceeded, terminating
% 122.47/122.43 eprover: CPU time limit exceeded, terminating
% 124.44/124.44 eprover: CPU time limit exceeded, terminating
% 126.44/126.45 eprover: CPU time limit exceeded, terminating
% 128.48/128.46 eprover: CPU time limit exceeded, terminating
% 130.48/130.46 eprover: CPU time limit exceeded, terminating
% 132.47/132.47 eprover: CPU time limit exceeded, terminating
% 134.49/134.48 eprover: CPU time limit exceeded, terminating
% 136.48/136.48 eprover: CPU time limit exceeded, terminating
% 138.55/138.49 eprover: CPU time limit exceeded, terminating
% 140.57/140.50 eprover: CPU time limit exceeded, terminating
% 142.57/142.50 eprover: CPU time limit exceeded, terminating
% 144.59/144.51 eprover: CPU time limit exceeded, terminating
% 146.60/146.52 eprover: CPU time limit exceeded, terminating
% 148.59/148.52 eprover: CPU time limit exceeded, terminating
% 150.61/150.53 eprover: CPU time limit exceeded, terminating
% 152.64/152.54 eprover: CPU time limit exceeded, terminating
% 154.61/154.55 eprover: CPU time limit exceeded, terminating
% 156.60/156.55 eprover: CPU time limit exceeded, terminating
% 158.60/158.56 eprover: CPU time limit exceeded, terminating
% 160.64/160.57 eprover: CPU time limit exceeded, terminating
% 162.64/162.58 eprover: CPU time limit exceeded, terminating
% 164.64/164.58 eprover: CPU time limit exceeded, terminating
% 166.66/166.59 eprover: CPU time limit exceeded, terminating
% 168.73/168.60 eprover: CPU time limit exceeded, terminating
% 170.73/170.60 eprover: CPU time limit exceeded, terminating
% 172.74/172.61 eprover: CPU time limit exceeded, terminating
% 174.72/174.62 eprover: CPU time limit exceeded, terminating
% 176.75/176.63 eprover: CPU time limit exceeded, terminating
% 178.76/178.63 eprover: CPU time limit exceeded, terminating
% 180.79/180.64 eprover: CPU time limit exceeded, terminating
% 182.78/182.65 eprover: CPU time limit exceeded, terminating
% 184.75/184.65 eprover: CPU time limit exceeded, terminating
% 186.79/186.66 eprover: CPU time limit exceeded, terminating
% 188.79/188.67 eprover: CPU time limit exceeded, terminating
% 190.79/190.68 eprover: CPU time limit exceeded, terminating
% 192.81/192.68 eprover: CPU time limit exceeded, terminating
% 194.88/194.69 eprover: CPU time limit exceeded, terminating
% 196.88/196.70 eprover: CPU time limit exceeded, terminating
% 198.89/198.70 eprover: CPU time limit exceeded, terminating
% 200.90/200.71 eprover: CPU time limit exceeded, terminating
% 202.90/202.72 eprover: CPU time limit exceeded, terminating
% 204.92/204.72 eprover: CPU time limit exceeded, terminating
% 206.91/206.73 eprover: CPU time limit exceeded, terminating
% 208.94/208.74 eprover: CPU time limit exceeded, terminating
% 210.91/210.75 eprover: CPU time limit exceeded, terminating
% 212.91/212.75 eprover: CPU time limit exceeded, terminating
% 214.96/214.76 eprover: CPU time limit exceeded, terminating
% 216.95/216.77 eprover: CPU time limit exceeded, terminating
% 218.93/218.77 eprover: CPU time limit exceeded, terminating
% 220.96/220.78 eprover: CPU time limit exceeded, terminating
% 222.96/222.79 eprover: CPU time limit exceeded, terminating
% 225.04/224.79 eprover: CPU time limit exceeded, terminating
% 227.05/226.80 eprover: CPU time limit exceeded, terminating
% 229.04/228.81 eprover: CPU time limit exceeded, terminating
% 231.04/230.82 eprover: CPU time limit exceeded, terminating
% 233.07/232.82 eprover: CPU time limit exceeded, terminating
% 235.05/234.83 eprover: CPU time limit exceeded, terminating
% 237.08/236.84 eprover: CPU time limit exceeded, terminating
% 239.08/238.84 eprover: CPU time limit exceeded, terminating
% 241.09/240.85 eprover: CPU time limit exceeded, terminating
% 243.08/242.86 eprover: CPU time limit exceeded, terminating
% 245.09/244.87 eprover: CPU time limit exceeded, terminating
% 247.12/246.87 eprover: CPU time limit exceeded, terminating
% 249.10/248.88 eprover: CPU time limit exceeded, terminating
% 251.13/250.89 eprover: CPU time limit exceeded, terminating
% 253.11/252.89 eprover: CPU time limit exceeded, terminating
% 255.13/254.90 eprover: CPU time limit exceeded, terminating
% 257.22/256.91 eprover: CPU time limit exceeded, terminating
% 259.22/258.91 eprover: CPU time limit exceeded, terminating
% 261.22/260.92 eprover: CPU time limit exceeded, terminating
% 263.24/262.93 eprover: CPU time limit exceeded, terminating
% 265.24/264.94 eprover: CPU time limit exceeded, terminating
% 267.24/266.94 eprover: CPU time limit exceeded, terminating
% 269.24/268.95 eprover: CPU time limit exceeded, terminating
% 271.24/270.96 eprover: CPU time limit exceeded, terminating
% 273.23/272.96 eprover: CPU time limit exceeded, terminating
% 275.24/274.97 eprover: CPU time limit exceeded, terminating
% 277.29/276.98 eprover: CPU time limit exceeded, terminating
% 279.25/278.98 eprover: CPU time limit exceeded, terminating
% 281.34/280.99 eprover: CPU time limit exceeded, terminating
% 283.37/283.00 eprover: CPU time limit exceeded, terminating
% 290.47/290.09 eprover: CPU time limit exceeded, terminating
% 300.05/299.64 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------