%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM707+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:54 EDT 2022 % Result : Timeout 287.72s 282.52s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : NUM707+4 : TPTP v8.1.0. Released v7.3.0. % 0.00/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n020.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Thu Jul 7 21:09:43 EDT 2022 % 0.12/0.33 % CPUTime : % 3.03/3.27 eprover: CPU time limit exceeded, terminating % 5.18/5.28 eprover: CPU time limit exceeded, terminating % 7.22/7.29 eprover: CPU time limit exceeded, terminating % 9.27/9.29 eprover: CPU time limit exceeded, terminating % 11.29/11.30 eprover: CPU time limit exceeded, terminating % 13.37/13.31 eprover: CPU time limit exceeded, terminating % 15.40/15.32 eprover: CPU time limit exceeded, terminating % 17.41/17.33 eprover: CPU time limit exceeded, terminating % 19.51/19.34 eprover: CPU time limit exceeded, terminating % 21.50/21.35 eprover: CPU time limit exceeded, terminating % 23.56/23.36 eprover: CPU time limit exceeded, terminating % 25.59/25.37 eprover: CPU time limit exceeded, terminating % 27.64/27.38 eprover: CPU time limit exceeded, terminating % 29.74/29.38 eprover: CPU time limit exceeded, terminating % 31.73/31.39 eprover: CPU time limit exceeded, terminating % 33.83/33.40 eprover: CPU time limit exceeded, terminating % 35.88/35.41 eprover: CPU time limit exceeded, terminating % 37.91/37.42 eprover: CPU time limit exceeded, terminating % 39.99/39.43 eprover: CPU time limit exceeded, terminating % 42.03/41.44 eprover: CPU time limit exceeded, terminating % 44.02/43.45 eprover: CPU time limit exceeded, terminating % 46.11/45.45 eprover: CPU time limit exceeded, terminating % 48.16/47.46 eprover: CPU time limit exceeded, terminating % 50.22/49.47 eprover: CPU time limit exceeded, terminating % 52.26/51.48 eprover: CPU time limit exceeded, terminating % 54.28/53.49 eprover: CPU time limit exceeded, terminating % 56.36/55.50 eprover: CPU time limit exceeded, terminating % 58.39/57.51 eprover: CPU time limit exceeded, terminating % 60.41/59.52 eprover: CPU time limit exceeded, terminating % 62.51/61.53 eprover: CPU time limit exceeded, terminating % 64.51/63.54 eprover: CPU time limit exceeded, terminating % 66.61/65.54 eprover: CPU time limit exceeded, terminating % 68.59/67.56 eprover: CPU time limit exceeded, terminating % 70.66/69.57 eprover: CPU time limit exceeded, terminating % 72.70/71.58 eprover: CPU time limit exceeded, terminating % 74.80/73.58 eprover: CPU time limit exceeded, terminating % 76.79/75.59 eprover: CPU time limit exceeded, terminating % 78.88/77.61 eprover: CPU time limit exceeded, terminating % 80.92/79.61 eprover: CPU time limit exceeded, terminating % 82.97/81.62 eprover: CPU time limit exceeded, terminating % 85.02/83.63 eprover: CPU time limit exceeded, terminating % 87.02/85.64 eprover: CPU time limit exceeded, terminating % 89.09/87.65 eprover: CPU time limit exceeded, terminating % 91.16/89.66 eprover: CPU time limit exceeded, terminating % 93.21/91.67 eprover: CPU time limit exceeded, terminating % 95.22/93.68 eprover: CPU time limit exceeded, terminating % 97.26/95.69 eprover: CPU time limit exceeded, terminating % 99.35/97.69 eprover: CPU time limit exceeded, terminating % 101.33/99.70 eprover: CPU time limit exceeded, terminating % 103.45/101.71 eprover: CPU time limit exceeded, terminating % 105.48/103.72 eprover: CPU time limit exceeded, terminating % 107.53/105.73 eprover: CPU time limit exceeded, terminating % 109.61/107.74 eprover: CPU time limit exceeded, terminating % 111.60/109.74 eprover: CPU time limit exceeded, terminating % 113.67/111.75 eprover: CPU time limit exceeded, terminating % 115.69/113.76 eprover: CPU time limit exceeded, terminating % 117.74/115.77 eprover: CPU time limit exceeded, terminating % 119.84/117.78 eprover: CPU time limit exceeded, terminating % 121.81/119.79 eprover: CPU time limit exceeded, terminating % 123.92/121.80 eprover: CPU time limit exceeded, terminating % 125.99/123.81 eprover: CPU time limit exceeded, terminating % 127.99/125.82 eprover: CPU time limit exceeded, terminating % 130.07/127.82 eprover: CPU time limit exceeded, terminating % 132.11/129.83 eprover: CPU time limit exceeded, terminating % 134.12/131.84 eprover: CPU time limit exceeded, terminating % 136.18/133.85 eprover: CPU time limit exceeded, terminating % 138.25/135.86 eprover: CPU time limit exceeded, terminating % 140.24/137.87 eprover: CPU time limit exceeded, terminating % 142.32/139.88 eprover: CPU time limit exceeded, terminating % 144.35/141.89 eprover: CPU time limit exceeded, terminating % 146.45/143.90 eprover: CPU time limit exceeded, terminating % 148.49/145.91 eprover: CPU time limit exceeded, terminating % 150.55/147.91 eprover: CPU time limit exceeded, terminating % 152.59/149.92 eprover: CPU time limit exceeded, terminating % 154.63/151.93 eprover: CPU time limit exceeded, terminating % 156.65/153.94 eprover: CPU time limit exceeded, terminating % 158.70/155.95 eprover: CPU time limit exceeded, terminating % 160.74/157.96 eprover: CPU time limit exceeded, terminating % 162.77/159.97 eprover: CPU time limit exceeded, terminating % 164.82/161.98 eprover: CPU time limit exceeded, terminating % 166.87/163.99 eprover: CPU time limit exceeded, terminating % 168.98/166.00 eprover: CPU time limit exceeded, terminating % 171.02/168.01 eprover: CPU time limit exceeded, terminating % 173.07/170.02 eprover: CPU time limit exceeded, terminating % 175.12/172.03 eprover: CPU time limit exceeded, terminating % 177.14/174.04 eprover: CPU time limit exceeded, terminating % 179.18/176.05 eprover: CPU time limit exceeded, terminating % 181.22/178.06 eprover: CPU time limit exceeded, terminating % 183.23/180.07 eprover: CPU time limit exceeded, terminating % 185.29/182.08 eprover: CPU time limit exceeded, terminating % 187.34/184.09 eprover: CPU time limit exceeded, terminating % 189.45/186.09 eprover: CPU time limit exceeded, terminating % 191.50/188.10 eprover: CPU time limit exceeded, terminating % 193.54/190.11 eprover: CPU time limit exceeded, terminating % 195.55/192.12 eprover: CPU time limit exceeded, terminating % 197.61/194.13 eprover: CPU time limit exceeded, terminating % 199.65/196.14 eprover: CPU time limit exceeded, terminating % 201.69/198.15 eprover: CPU time limit exceeded, terminating % 203.75/200.16 eprover: CPU time limit exceeded, terminating % 205.76/202.16 eprover: CPU time limit exceeded, terminating % 207.81/204.17 eprover: CPU time limit exceeded, terminating % 209.89/206.18 eprover: CPU time limit exceeded, terminating % 211.97/208.19 eprover: CPU time limit exceeded, terminating % 214.03/210.20 eprover: CPU time limit exceeded, terminating % 216.04/212.21 eprover: CPU time limit exceeded, terminating % 218.08/214.22 eprover: CPU time limit exceeded, terminating % 220.16/216.23 eprover: CPU time limit exceeded, terminating % 222.21/218.24 eprover: CPU time limit exceeded, terminating % 224.22/220.25 eprover: CPU time limit exceeded, terminating % 226.23/222.25 eprover: CPU time limit exceeded, terminating % 228.35/224.26 eprover: CPU time limit exceeded, terminating % 230.36/226.27 eprover: CPU time limit exceeded, terminating % 232.45/228.28 eprover: CPU time limit exceeded, terminating % 234.45/230.29 eprover: CPU time limit exceeded, terminating % 236.56/232.30 eprover: CPU time limit exceeded, terminating % 238.53/234.31 eprover: CPU time limit exceeded, terminating % 240.65/236.32 eprover: CPU time limit exceeded, terminating % 242.68/238.33 eprover: CPU time limit exceeded, terminating % 244.71/240.33 eprover: CPU time limit exceeded, terminating % 246.72/242.34 eprover: CPU time limit exceeded, terminating % 248.79/244.35 eprover: CPU time limit exceeded, terminating % 250.85/246.36 eprover: CPU time limit exceeded, terminating % 252.87/248.37 eprover: CPU time limit exceeded, terminating % 254.90/250.38 eprover: CPU time limit exceeded, terminating % 256.96/252.39 eprover: CPU time limit exceeded, terminating % 259.07/254.40 eprover: CPU time limit exceeded, terminating % 261.10/256.41 eprover: CPU time limit exceeded, terminating % 263.15/258.42 eprover: CPU time limit exceeded, terminating % 265.17/260.42 eprover: CPU time limit exceeded, terminating % 267.24/262.43 eprover: CPU time limit exceeded, terminating % 269.28/264.44 eprover: CPU time limit exceeded, terminating % 271.27/266.45 eprover: CPU time limit exceeded, terminating % 273.35/268.46 eprover: CPU time limit exceeded, terminating % 275.36/270.47 eprover: CPU time limit exceeded, terminating % 277.41/272.48 eprover: CPU time limit exceeded, terminating % 279.53/274.49 eprover: CPU time limit exceeded, terminating % 281.58/276.50 eprover: CPU time limit exceeded, terminating % 283.54/278.51 eprover: CPU time limit exceeded, terminating % 285.66/280.51 eprover: CPU time limit exceeded, terminating % 287.72/282.52 eprover: CPU time limit exceeded, terminating % 289.75/284.54 eprover: CPU time limit exceeded, terminating % 291.76/286.55 eprover: CPU time limit exceeded, terminating % 293.80/288.56 eprover: CPU time limit exceeded, terminating % 295.86/290.57 eprover: CPU time limit exceeded, terminating % 297.91/292.57 eprover: CPU time limit exceeded, terminating % 299.93/294.59 eprover: CPU time limit exceeded, terminating % 300.04/294.62 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------