%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM664+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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:39:16 EDT 2022 % Result : Timeout 286.31s 282.70s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.13 % Problem : NUM664+4 : TPTP v8.1.0. Released v7.3.0. % 0.08/0.14 % Command : run_infinox %s % 0.14/0.36 % Computer : n020.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 600 % 0.14/0.36 % DateTime : Tue Jul 5 08:16:59 EDT 2022 % 0.14/0.36 % CPUTime : % 2.85/3.02 eprover: CPU time limit exceeded, terminating % 4.85/5.04 eprover: CPU time limit exceeded, terminating % 6.93/7.05 eprover: CPU time limit exceeded, terminating % 8.98/9.06 eprover: CPU time limit exceeded, terminating % 10.98/11.07 eprover: CPU time limit exceeded, terminating % 13.08/13.09 eprover: CPU time limit exceeded, terminating % 15.05/15.10 eprover: CPU time limit exceeded, terminating % 17.11/17.11 eprover: CPU time limit exceeded, terminating % 19.17/19.12 eprover: CPU time limit exceeded, terminating % 21.22/21.13 eprover: CPU time limit exceeded, terminating % 23.23/23.14 eprover: CPU time limit exceeded, terminating % 25.24/25.15 eprover: CPU time limit exceeded, terminating % 27.31/27.16 eprover: CPU time limit exceeded, terminating % 29.38/29.17 eprover: CPU time limit exceeded, terminating % 31.35/31.18 eprover: CPU time limit exceeded, terminating % 33.43/33.19 eprover: CPU time limit exceeded, terminating % 35.50/35.20 eprover: CPU time limit exceeded, terminating % 37.51/37.21 eprover: CPU time limit exceeded, terminating % 39.54/39.22 eprover: CPU time limit exceeded, terminating % 41.60/41.23 eprover: CPU time limit exceeded, terminating % 43.64/43.24 eprover: CPU time limit exceeded, terminating % 45.66/45.25 eprover: CPU time limit exceeded, terminating % 47.70/47.26 eprover: CPU time limit exceeded, terminating % 49.71/49.28 eprover: CPU time limit exceeded, terminating % 51.73/51.29 eprover: CPU time limit exceeded, terminating % 53.79/53.31 eprover: CPU time limit exceeded, terminating % 55.88/55.32 eprover: CPU time limit exceeded, terminating % 57.92/57.33 eprover: CPU time limit exceeded, terminating % 59.91/59.35 eprover: CPU time limit exceeded, terminating % 61.97/61.36 eprover: CPU time limit exceeded, terminating % 64.04/63.37 eprover: CPU time limit exceeded, terminating % 66.04/65.39 eprover: CPU time limit exceeded, terminating % 68.11/67.40 eprover: CPU time limit exceeded, terminating % 70.16/69.41 eprover: CPU time limit exceeded, terminating % 72.20/71.42 eprover: CPU time limit exceeded, terminating % 74.24/73.43 eprover: CPU time limit exceeded, terminating % 76.23/75.44 eprover: CPU time limit exceeded, terminating % 78.31/77.45 eprover: CPU time limit exceeded, terminating % 80.32/79.46 eprover: CPU time limit exceeded, terminating % 82.38/81.47 eprover: CPU time limit exceeded, terminating % 84.39/83.48 eprover: CPU time limit exceeded, terminating % 86.41/85.50 eprover: CPU time limit exceeded, terminating % 88.46/87.51 eprover: CPU time limit exceeded, terminating % 90.56/89.52 eprover: CPU time limit exceeded, terminating % 92.59/91.53 eprover: CPU time limit exceeded, terminating % 94.62/93.55 eprover: CPU time limit exceeded, terminating % 96.61/95.56 eprover: CPU time limit exceeded, terminating % 98.63/97.58 eprover: CPU time limit exceeded, terminating % 100.69/99.59 eprover: CPU time limit exceeded, terminating % 102.80/101.60 eprover: CPU time limit exceeded, terminating % 104.85/103.61 eprover: CPU time limit exceeded, terminating % 106.85/105.63 eprover: CPU time limit exceeded, terminating % 108.93/107.64 eprover: CPU time limit exceeded, terminating % 110.92/109.65 eprover: CPU time limit exceeded, terminating % 112.90/111.66 eprover: CPU time limit exceeded, terminating % 115.00/113.67 eprover: CPU time limit exceeded, terminating % 117.09/115.68 eprover: CPU time limit exceeded, terminating % 119.08/117.69 eprover: CPU time limit exceeded, terminating % 121.14/119.70 eprover: CPU time limit exceeded, terminating % 123.18/121.71 eprover: CPU time limit exceeded, terminating % 125.20/123.73 eprover: CPU time limit exceeded, terminating % 127.26/125.74 eprover: CPU time limit exceeded, terminating % 129.26/127.75 eprover: CPU time limit exceeded, terminating % 131.29/129.77 eprover: CPU time limit exceeded, terminating % 133.39/131.78 eprover: CPU time limit exceeded, terminating % 135.36/133.79 eprover: CPU time limit exceeded, terminating % 137.44/135.81 eprover: CPU time limit exceeded, terminating % 139.52/137.82 eprover: CPU time limit exceeded, terminating % 141.52/139.83 eprover: CPU time limit exceeded, terminating % 143.60/141.84 eprover: CPU time limit exceeded, terminating % 145.57/143.85 eprover: CPU time limit exceeded, terminating % 147.64/145.86 eprover: CPU time limit exceeded, terminating % 149.64/147.87 eprover: CPU time limit exceeded, terminating % 151.69/149.88 eprover: CPU time limit exceeded, terminating % 153.78/151.89 eprover: CPU time limit exceeded, terminating % 155.81/153.90 eprover: CPU time limit exceeded, terminating % 157.83/155.91 eprover: CPU time limit exceeded, terminating % 159.87/157.93 eprover: CPU time limit exceeded, terminating % 161.94/159.94 eprover: CPU time limit exceeded, terminating % 163.93/161.95 eprover: CPU time limit exceeded, terminating % 165.98/163.96 eprover: CPU time limit exceeded, terminating % 168.06/165.97 eprover: CPU time limit exceeded, terminating % 170.04/167.99 eprover: CPU time limit exceeded, terminating % 172.10/170.00 eprover: CPU time limit exceeded, terminating % 174.16/172.01 eprover: CPU time limit exceeded, terminating % 176.19/174.02 eprover: CPU time limit exceeded, terminating % 178.25/176.03 eprover: CPU time limit exceeded, terminating % 180.24/178.04 eprover: CPU time limit exceeded, terminating % 182.33/180.06 eprover: CPU time limit exceeded, terminating % 184.32/182.07 eprover: CPU time limit exceeded, terminating % 186.37/184.08 eprover: CPU time limit exceeded, terminating % 188.44/186.09 eprover: CPU time limit exceeded, terminating % 190.42/188.11 eprover: CPU time limit exceeded, terminating % 192.48/190.12 eprover: CPU time limit exceeded, terminating % 194.57/192.13 eprover: CPU time limit exceeded, terminating % 196.53/194.14 eprover: CPU time limit exceeded, terminating % 198.63/196.15 eprover: CPU time limit exceeded, terminating % 200.71/198.17 eprover: CPU time limit exceeded, terminating % 202.70/200.18 eprover: CPU time limit exceeded, terminating % 204.76/202.19 eprover: CPU time limit exceeded, terminating % 206.76/204.20 eprover: CPU time limit exceeded, terminating % 208.82/206.22 eprover: CPU time limit exceeded, terminating % 210.89/208.23 eprover: CPU time limit exceeded, terminating % 212.92/210.24 eprover: CPU time limit exceeded, terminating % 214.91/212.25 eprover: CPU time limit exceeded, terminating % 216.99/214.27 eprover: CPU time limit exceeded, terminating % 219.06/216.28 eprover: CPU time limit exceeded, terminating % 221.07/218.29 eprover: CPU time limit exceeded, terminating % 223.07/220.31 eprover: CPU time limit exceeded, terminating % 225.13/222.32 eprover: CPU time limit exceeded, terminating % 227.16/224.33 eprover: CPU time limit exceeded, terminating % 229.24/226.34 eprover: CPU time limit exceeded, terminating % 231.29/228.35 eprover: CPU time limit exceeded, terminating % 233.33/230.37 eprover: CPU time limit exceeded, terminating % 235.30/232.38 eprover: CPU time limit exceeded, terminating % 237.38/234.39 eprover: CPU time limit exceeded, terminating % 239.45/236.41 eprover: CPU time limit exceeded, terminating % 241.45/238.42 eprover: CPU time limit exceeded, terminating % 243.52/240.43 eprover: CPU time limit exceeded, terminating % 245.49/242.45 eprover: CPU time limit exceeded, terminating % 247.62/244.46 eprover: CPU time limit exceeded, terminating % 249.62/246.47 eprover: CPU time limit exceeded, terminating % 251.67/248.49 eprover: CPU time limit exceeded, terminating % 253.70/250.50 eprover: CPU time limit exceeded, terminating % 255.77/252.51 eprover: CPU time limit exceeded, terminating % 257.82/254.52 eprover: CPU time limit exceeded, terminating % 259.84/256.54 eprover: CPU time limit exceeded, terminating % 261.90/258.55 eprover: CPU time limit exceeded, terminating % 263.93/260.56 eprover: CPU time limit exceeded, terminating % 265.97/262.57 eprover: CPU time limit exceeded, terminating % 268.02/264.58 eprover: CPU time limit exceeded, terminating % 270.04/266.60 eprover: CPU time limit exceeded, terminating % 272.04/268.61 eprover: CPU time limit exceeded, terminating % 274.07/270.62 eprover: CPU time limit exceeded, terminating % 276.14/272.63 eprover: CPU time limit exceeded, terminating % 278.19/274.65 eprover: CPU time limit exceeded, terminating % 280.25/276.66 eprover: CPU time limit exceeded, terminating % 282.29/278.67 eprover: CPU time limit exceeded, terminating % 284.31/280.68 eprover: CPU time limit exceeded, terminating % 286.31/282.70 eprover: CPU time limit exceeded, terminating % 288.40/284.71 eprover: CPU time limit exceeded, terminating % 290.43/286.72 eprover: CPU time limit exceeded, terminating % 292.46/288.73 eprover: CPU time limit exceeded, terminating % 294.53/290.75 eprover: CPU time limit exceeded, terminating % 296.57/292.76 eprover: CPU time limit exceeded, terminating % 298.59/294.77 eprover: CPU time limit exceeded, terminating % 300.02/296.17 eprover: CPU time limit exceeded, terminating % 300.02/296.18 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------