%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM360+1 : TPTP v8.1.0. Released v3.1.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:36:17 EDT 2022 % Result : Timeout 287.37s 284.82s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.13 % Problem : NUM360+1 : TPTP v8.1.0. Released v3.1.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 : Wed Jul 6 00:38:28 EDT 2022 % 0.14/0.36 % CPUTime : % 2.28/2.54 eprover: CPU time limit exceeded, terminating % 4.29/4.55 eprover: CPU time limit exceeded, terminating % 6.34/6.56 eprover: CPU time limit exceeded, terminating % 8.43/8.57 eprover: CPU time limit exceeded, terminating % 10.38/10.58 eprover: CPU time limit exceeded, terminating % 12.40/12.60 eprover: CPU time limit exceeded, terminating % 14.45/14.61 eprover: CPU time limit exceeded, terminating % 16.48/16.64 eprover: CPU time limit exceeded, terminating % 18.54/18.65 eprover: CPU time limit exceeded, terminating % 20.51/20.66 eprover: CPU time limit exceeded, terminating % 22.53/22.67 eprover: CPU time limit exceeded, terminating % 24.58/24.68 eprover: CPU time limit exceeded, terminating % 26.55/26.69 eprover: CPU time limit exceeded, terminating % 28.65/28.71 eprover: CPU time limit exceeded, terminating % 30.67/30.72 eprover: CPU time limit exceeded, terminating % 32.67/32.73 eprover: CPU time limit exceeded, terminating % 34.71/34.74 eprover: CPU time limit exceeded, terminating % 36.70/36.75 eprover: CPU time limit exceeded, terminating % 38.69/38.76 eprover: CPU time limit exceeded, terminating % 40.70/40.78 eprover: CPU time limit exceeded, terminating % 42.73/42.79 eprover: CPU time limit exceeded, terminating % 44.80/44.80 eprover: CPU time limit exceeded, terminating % 46.83/46.81 eprover: CPU time limit exceeded, terminating % 48.85/48.83 eprover: CPU time limit exceeded, terminating % 50.85/50.84 eprover: CPU time limit exceeded, terminating % 52.82/52.85 eprover: CPU time limit exceeded, terminating % 54.85/54.87 eprover: CPU time limit exceeded, terminating % 56.95/56.88 eprover: CPU time limit exceeded, terminating % 58.95/58.90 eprover: CPU time limit exceeded, terminating % 60.98/60.91 eprover: CPU time limit exceeded, terminating % 62.98/62.93 eprover: CPU time limit exceeded, terminating % 64.99/64.94 eprover: CPU time limit exceeded, terminating % 67.02/66.96 eprover: CPU time limit exceeded, terminating % 69.00/68.97 eprover: CPU time limit exceeded, terminating % 71.07/70.97 eprover: CPU time limit exceeded, terminating % 73.01/72.98 eprover: CPU time limit exceeded, terminating % 75.11/74.99 eprover: CPU time limit exceeded, terminating % 77.14/77.01 eprover: CPU time limit exceeded, terminating % 79.12/79.05 eprover: CPU time limit exceeded, terminating % 81.13/81.08 eprover: CPU time limit exceeded, terminating % 83.20/83.10 eprover: CPU time limit exceeded, terminating % 85.20/85.14 eprover: CPU time limit exceeded, terminating % 87.20/87.17 eprover: CPU time limit exceeded, terminating % 89.18/89.19 eprover: CPU time limit exceeded, terminating % 93.27/91.23 eprover: CPU time limit exceeded, terminating % 95.23/93.27 eprover: CPU time limit exceeded, terminating % 97.30/95.32 eprover: CPU time limit exceeded, terminating % 99.26/97.36 eprover: CPU time limit exceeded, terminating % 101.26/99.39 eprover: CPU time limit exceeded, terminating % 103.34/101.43 eprover: CPU time limit exceeded, terminating % 105.34/103.45 eprover: CPU time limit exceeded, terminating % 107.39/105.49 eprover: CPU time limit exceeded, terminating % 109.40/107.52 eprover: CPU time limit exceeded, terminating % 111.35/109.55 eprover: CPU time limit exceeded, terminating % 113.38/111.59 eprover: CPU time limit exceeded, terminating % 115.43/113.63 eprover: CPU time limit exceeded, terminating % 117.46/115.68 eprover: CPU time limit exceeded, terminating % 119.49/117.71 eprover: CPU time limit exceeded, terminating % 121.50/119.75 eprover: CPU time limit exceeded, terminating % 123.44/121.76 eprover: CPU time limit exceeded, terminating % 125.51/123.77 eprover: CPU time limit exceeded, terminating % 127.58/125.78 eprover: CPU time limit exceeded, terminating % 129.59/127.79 eprover: CPU time limit exceeded, terminating % 131.62/129.80 eprover: CPU time limit exceeded, terminating % 133.59/131.81 eprover: CPU time limit exceeded, terminating % 135.58/133.82 eprover: CPU time limit exceeded, terminating % 137.66/135.83 eprover: CPU time limit exceeded, terminating % 139.70/137.84 eprover: CPU time limit exceeded, terminating % 141.70/139.85 eprover: CPU time limit exceeded, terminating % 143.75/141.86 eprover: CPU time limit exceeded, terminating % 145.68/143.87 eprover: CPU time limit exceeded, terminating % 147.74/145.89 eprover: CPU time limit exceeded, terminating % 149.80/147.90 eprover: CPU time limit exceeded, terminating % 151.81/149.91 eprover: CPU time limit exceeded, terminating % 153.82/151.92 eprover: CPU time limit exceeded, terminating % 155.85/153.93 eprover: CPU time limit exceeded, terminating % 157.88/155.95 eprover: CPU time limit exceeded, terminating % 159.91/157.96 eprover: CPU time limit exceeded, terminating % 161.89/159.97 eprover: CPU time limit exceeded, terminating % 163.97/161.99 eprover: CPU time limit exceeded, terminating % 166.00/164.00 eprover: CPU time limit exceeded, terminating % 168.02/166.01 eprover: CPU time limit exceeded, terminating % 170.02/168.03 eprover: CPU time limit exceeded, terminating % 172.07/170.04 eprover: CPU time limit exceeded, terminating % 174.05/172.05 eprover: CPU time limit exceeded, terminating % 176.06/174.07 eprover: CPU time limit exceeded, terminating % 178.07/176.08 eprover: CPU time limit exceeded, terminating % 180.10/178.09 eprover: CPU time limit exceeded, terminating % 182.17/180.11 eprover: CPU time limit exceeded, terminating % 184.20/182.12 eprover: CPU time limit exceeded, terminating % 186.23/184.13 eprover: CPU time limit exceeded, terminating % 188.22/186.15 eprover: CPU time limit exceeded, terminating % 190.21/188.16 eprover: CPU time limit exceeded, terminating % 192.23/190.17 eprover: CPU time limit exceeded, terminating % 194.28/192.18 eprover: CPU time limit exceeded, terminating % 196.36/194.20 eprover: CPU time limit exceeded, terminating % 198.37/196.21 eprover: CPU time limit exceeded, terminating % 200.39/198.22 eprover: CPU time limit exceeded, terminating % 202.41/200.24 eprover: CPU time limit exceeded, terminating % 204.42/202.25 eprover: CPU time limit exceeded, terminating % 206.42/204.26 eprover: CPU time limit exceeded, terminating % 208.44/206.28 eprover: CPU time limit exceeded, terminating % 210.46/208.29 eprover: CPU time limit exceeded, terminating % 212.47/210.30 eprover: CPU time limit exceeded, terminating % 214.57/212.32 eprover: CPU time limit exceeded, terminating % 216.57/214.33 eprover: CPU time limit exceeded, terminating % 218.57/216.34 eprover: CPU time limit exceeded, terminating % 220.61/218.36 eprover: CPU time limit exceeded, terminating % 222.60/220.37 eprover: CPU time limit exceeded, terminating % 224.67/222.39 eprover: CPU time limit exceeded, terminating % 226.71/224.40 eprover: CPU time limit exceeded, terminating % 228.66/226.41 eprover: CPU time limit exceeded, terminating % 230.75/228.43 eprover: CPU time limit exceeded, terminating % 232.76/230.44 eprover: CPU time limit exceeded, terminating % 234.76/232.46 eprover: CPU time limit exceeded, terminating % 236.84/234.47 eprover: CPU time limit exceeded, terminating % 238.83/236.49 eprover: CPU time limit exceeded, terminating % 240.88/238.50 eprover: CPU time limit exceeded, terminating % 242.90/240.51 eprover: CPU time limit exceeded, terminating % 244.89/242.53 eprover: CPU time limit exceeded, terminating % 246.91/244.54 eprover: CPU time limit exceeded, terminating % 248.97/246.56 eprover: CPU time limit exceeded, terminating % 250.98/248.57 eprover: CPU time limit exceeded, terminating % 253.01/250.58 eprover: CPU time limit exceeded, terminating % 255.00/252.60 eprover: CPU time limit exceeded, terminating % 257.00/254.61 eprover: CPU time limit exceeded, terminating % 259.06/256.63 eprover: CPU time limit exceeded, terminating % 261.03/258.64 eprover: CPU time limit exceeded, terminating % 263.14/260.65 eprover: CPU time limit exceeded, terminating % 265.18/262.67 eprover: CPU time limit exceeded, terminating % 267.19/264.68 eprover: CPU time limit exceeded, terminating % 269.17/266.70 eprover: CPU time limit exceeded, terminating % 271.24/268.71 eprover: CPU time limit exceeded, terminating % 273.28/270.72 eprover: CPU time limit exceeded, terminating % 275.28/272.74 eprover: CPU time limit exceeded, terminating % 277.32/274.75 eprover: CPU time limit exceeded, terminating % 279.33/276.76 eprover: CPU time limit exceeded, terminating % 281.34/278.78 eprover: CPU time limit exceeded, terminating % 283.38/280.79 eprover: CPU time limit exceeded, terminating % 285.36/282.80 eprover: CPU time limit exceeded, terminating % 287.37/284.82 eprover: CPU time limit exceeded, terminating % 289.43/286.83 eprover: CPU time limit exceeded, terminating % 291.45/288.84 eprover: CPU time limit exceeded, terminating % 295.49/290.85 eprover: CPU time limit exceeded, terminating % 297.52/292.87 eprover: CPU time limit exceeded, terminating % 299.53/294.88 eprover: CPU time limit exceeded, terminating % 300.01/295.36 eprover: CPU time limit exceeded, terminating % 300.01/295.37 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------