%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM608+3 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n007.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 10:38:34 EDT 2022 % Result : Timeout 287.21s 287.08s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.13 % Problem : NUM608+3 : TPTP v8.1.0. Released v4.0.0. % 0.08/0.14 % Command : run_infinox %s % 0.14/0.35 % Computer : n007.cluster.edu % 0.14/0.35 % Model : x86_64 x86_64 % 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.35 % Memory : 8042.1875MB % 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.35 % CPULimit : 300 % 0.14/0.35 % WCLimit : 600 % 0.14/0.35 % DateTime : Tue Jul 5 17:11:43 EDT 2022 % 0.14/0.36 % CPUTime : % 2.43/2.60 eprover: CPU time limit exceeded, terminating % 4.41/4.61 eprover: CPU time limit exceeded, terminating % 6.43/6.61 eprover: CPU time limit exceeded, terminating % 8.47/8.62 eprover: CPU time limit exceeded, terminating % 10.48/10.63 eprover: CPU time limit exceeded, terminating % 12.48/12.64 eprover: CPU time limit exceeded, terminating % 14.47/14.65 eprover: CPU time limit exceeded, terminating % 16.48/16.66 eprover: CPU time limit exceeded, terminating % 18.50/18.68 eprover: CPU time limit exceeded, terminating % 20.58/20.69 eprover: CPU time limit exceeded, terminating % 22.51/22.70 eprover: CPU time limit exceeded, terminating % 24.63/24.72 eprover: CPU time limit exceeded, terminating % 26.61/26.73 eprover: CPU time limit exceeded, terminating % 28.64/28.75 eprover: CPU time limit exceeded, terminating % 30.61/30.77 eprover: CPU time limit exceeded, terminating % 32.70/32.78 eprover: CPU time limit exceeded, terminating % 34.66/34.79 eprover: CPU time limit exceeded, terminating % 36.72/36.80 eprover: CPU time limit exceeded, terminating % 38.74/38.82 eprover: CPU time limit exceeded, terminating % 40.74/40.83 eprover: CPU time limit exceeded, terminating % 42.77/42.84 eprover: CPU time limit exceeded, terminating % 44.79/44.86 eprover: CPU time limit exceeded, terminating % 46.83/46.88 eprover: CPU time limit exceeded, terminating % 48.84/48.89 eprover: CPU time limit exceeded, terminating % 50.79/50.90 eprover: CPU time limit exceeded, terminating % 52.88/52.91 eprover: CPU time limit exceeded, terminating % 54.86/54.92 eprover: CPU time limit exceeded, terminating % 56.89/56.93 eprover: CPU time limit exceeded, terminating % 58.94/58.94 eprover: CPU time limit exceeded, terminating % 60.88/60.95 eprover: CPU time limit exceeded, terminating % 62.94/62.98 eprover: CPU time limit exceeded, terminating % 64.98/65.04 eprover: CPU time limit exceeded, terminating % 66.95/67.10 eprover: CPU time limit exceeded, terminating % 69.01/69.13 eprover: CPU time limit exceeded, terminating % 71.06/71.17 eprover: CPU time limit exceeded, terminating % 73.01/73.22 eprover: CPU time limit exceeded, terminating % 75.08/75.25 eprover: CPU time limit exceeded, terminating % 77.14/77.30 eprover: CPU time limit exceeded, terminating % 79.13/79.33 eprover: CPU time limit exceeded, terminating % 81.18/81.37 eprover: CPU time limit exceeded, terminating % 83.15/83.39 eprover: CPU time limit exceeded, terminating % 85.14/85.43 eprover: CPU time limit exceeded, terminating % 87.19/87.47 eprover: CPU time limit exceeded, terminating % 89.20/89.49 eprover: CPU time limit exceeded, terminating % 91.23/91.52 eprover: CPU time limit exceeded, terminating % 93.28/93.56 eprover: CPU time limit exceeded, terminating % 95.25/95.60 eprover: CPU time limit exceeded, terminating % 97.32/97.65 eprover: CPU time limit exceeded, terminating % 99.33/99.68 eprover: CPU time limit exceeded, terminating % 101.34/101.72 eprover: CPU time limit exceeded, terminating % 103.34/103.75 eprover: CPU time limit exceeded, terminating % 105.36/105.77 eprover: CPU time limit exceeded, terminating % 107.40/107.78 eprover: CPU time limit exceeded, terminating % 109.43/109.81 eprover: CPU time limit exceeded, terminating % 111.45/111.82 eprover: CPU time limit exceeded, terminating % 113.39/113.83 eprover: CPU time limit exceeded, terminating % 115.43/115.84 eprover: CPU time limit exceeded, terminating % 117.48/117.85 eprover: CPU time limit exceeded, terminating % 119.53/119.86 eprover: CPU time limit exceeded, terminating % 121.48/121.87 eprover: CPU time limit exceeded, terminating % 123.55/123.89 eprover: CPU time limit exceeded, terminating % 125.51/125.90 eprover: CPU time limit exceeded, terminating % 127.60/127.91 eprover: CPU time limit exceeded, terminating % 129.62/129.92 eprover: CPU time limit exceeded, terminating % 131.64/131.93 eprover: CPU time limit exceeded, terminating % 133.62/133.94 eprover: CPU time limit exceeded, terminating % 135.62/135.96 eprover: CPU time limit exceeded, terminating % 137.66/137.98 eprover: CPU time limit exceeded, terminating % 139.72/139.99 eprover: CPU time limit exceeded, terminating % 141.72/142.00 eprover: CPU time limit exceeded, terminating % 143.69/144.01 eprover: CPU time limit exceeded, terminating % 145.76/146.03 eprover: CPU time limit exceeded, terminating % 147.73/148.04 eprover: CPU time limit exceeded, terminating % 149.80/150.06 eprover: CPU time limit exceeded, terminating % 151.80/152.07 eprover: CPU time limit exceeded, terminating % 153.84/154.08 eprover: CPU time limit exceeded, terminating % 155.86/156.10 eprover: CPU time limit exceeded, terminating % 157.86/158.11 eprover: CPU time limit exceeded, terminating % 159.84/160.12 eprover: CPU time limit exceeded, terminating % 161.93/162.14 eprover: CPU time limit exceeded, terminating % 163.93/164.16 eprover: CPU time limit exceeded, terminating % 165.98/166.17 eprover: CPU time limit exceeded, terminating % 168.00/168.18 eprover: CPU time limit exceeded, terminating % 170.00/170.20 eprover: CPU time limit exceeded, terminating % 172.02/172.22 eprover: CPU time limit exceeded, terminating % 174.06/174.23 eprover: CPU time limit exceeded, terminating % 176.06/176.24 eprover: CPU time limit exceeded, terminating % 178.09/178.25 eprover: CPU time limit exceeded, terminating % 180.10/180.27 eprover: CPU time limit exceeded, terminating % 182.13/182.28 eprover: CPU time limit exceeded, terminating % 184.16/184.30 eprover: CPU time limit exceeded, terminating % 186.12/186.31 eprover: CPU time limit exceeded, terminating % 188.21/188.33 eprover: CPU time limit exceeded, terminating % 190.22/190.34 eprover: CPU time limit exceeded, terminating % 192.24/192.35 eprover: CPU time limit exceeded, terminating % 194.26/194.37 eprover: CPU time limit exceeded, terminating % 196.29/196.38 eprover: CPU time limit exceeded, terminating % 198.31/198.39 eprover: CPU time limit exceeded, terminating % 200.32/200.41 eprover: CPU time limit exceeded, terminating % 202.33/202.42 eprover: CPU time limit exceeded, terminating % 204.34/204.43 eprover: CPU time limit exceeded, terminating % 206.36/206.45 eprover: CPU time limit exceeded, terminating % 208.43/208.47 eprover: CPU time limit exceeded, terminating % 210.41/210.49 eprover: CPU time limit exceeded, terminating % 212.43/212.50 eprover: CPU time limit exceeded, terminating % 214.39/214.52 eprover: CPU time limit exceeded, terminating % 216.42/216.53 eprover: CPU time limit exceeded, terminating % 218.52/218.54 eprover: CPU time limit exceeded, terminating % 220.54/220.56 eprover: CPU time limit exceeded, terminating % 222.55/222.58 eprover: CPU time limit exceeded, terminating % 224.58/224.59 eprover: CPU time limit exceeded, terminating % 226.61/226.60 eprover: CPU time limit exceeded, terminating % 228.59/228.61 eprover: CPU time limit exceeded, terminating % 230.57/230.63 eprover: CPU time limit exceeded, terminating % 232.60/232.64 eprover: CPU time limit exceeded, terminating % 234.65/234.65 eprover: CPU time limit exceeded, terminating % 236.60/236.66 eprover: CPU time limit exceeded, terminating % 238.67/238.68 eprover: CPU time limit exceeded, terminating % 240.72/240.69 eprover: CPU time limit exceeded, terminating % 242.69/242.71 eprover: CPU time limit exceeded, terminating % 244.79/244.72 eprover: CPU time limit exceeded, terminating % 246.77/246.75 eprover: CPU time limit exceeded, terminating % 248.78/248.77 eprover: CPU time limit exceeded, terminating % 250.82/250.78 eprover: CPU time limit exceeded, terminating % 252.82/252.79 eprover: CPU time limit exceeded, terminating % 254.89/254.81 eprover: CPU time limit exceeded, terminating % 256.89/256.84 eprover: CPU time limit exceeded, terminating % 258.89/258.85 eprover: CPU time limit exceeded, terminating % 260.89/260.87 eprover: CPU time limit exceeded, terminating % 262.92/262.88 eprover: CPU time limit exceeded, terminating % 265.00/264.90 eprover: CPU time limit exceeded, terminating % 267.03/266.92 eprover: CPU time limit exceeded, terminating % 269.03/268.94 eprover: CPU time limit exceeded, terminating % 271.02/270.95 eprover: CPU time limit exceeded, terminating % 273.07/272.97 eprover: CPU time limit exceeded, terminating % 275.12/274.99 eprover: CPU time limit exceeded, terminating % 277.07/277.01 eprover: CPU time limit exceeded, terminating % 279.12/279.02 eprover: CPU time limit exceeded, terminating % 281.17/281.03 eprover: CPU time limit exceeded, terminating % 283.14/283.04 eprover: CPU time limit exceeded, terminating % 285.19/285.06 eprover: CPU time limit exceeded, terminating % 287.21/287.08 eprover: CPU time limit exceeded, terminating % 289.20/289.09 eprover: CPU time limit exceeded, terminating % 291.21/291.10 eprover: CPU time limit exceeded, terminating % 293.27/293.11 eprover: CPU time limit exceeded, terminating % 295.30/295.12 eprover: CPU time limit exceeded, terminating % 297.29/297.13 eprover: CPU time limit exceeded, terminating % 299.30/299.14 eprover: CPU time limit exceeded, terminating % 300.01/299.81 eprover: CPU time limit exceeded, terminating % 300.01/299.83 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------