%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM703+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n012.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:51 EDT 2022 % Result : Timeout 287.36s 280.52s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : NUM703+4 : TPTP v8.1.0. Released v7.3.0. % 0.11/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n012.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Wed Jul 6 07:25:15 EDT 2022 % 0.13/0.34 % CPUTime : % 3.03/3.25 eprover: CPU time limit exceeded, terminating % 5.07/5.26 eprover: CPU time limit exceeded, terminating % 7.13/7.27 eprover: CPU time limit exceeded, terminating % 9.23/9.28 eprover: CPU time limit exceeded, terminating % 11.28/11.29 eprover: CPU time limit exceeded, terminating % 13.24/13.29 eprover: CPU time limit exceeded, terminating % 15.36/15.30 eprover: CPU time limit exceeded, terminating % 17.40/17.31 eprover: CPU time limit exceeded, terminating % 19.45/19.32 eprover: CPU time limit exceeded, terminating % 21.48/21.33 eprover: CPU time limit exceeded, terminating % 23.52/23.34 eprover: CPU time limit exceeded, terminating % 25.55/25.35 eprover: CPU time limit exceeded, terminating % 27.57/27.36 eprover: CPU time limit exceeded, terminating % 29.61/29.37 eprover: CPU time limit exceeded, terminating % 31.69/31.38 eprover: CPU time limit exceeded, terminating % 33.70/33.39 eprover: CPU time limit exceeded, terminating % 35.83/35.40 eprover: CPU time limit exceeded, terminating % 37.84/37.40 eprover: CPU time limit exceeded, terminating % 39.91/39.41 eprover: CPU time limit exceeded, terminating % 41.96/41.43 eprover: CPU time limit exceeded, terminating % 43.98/43.44 eprover: CPU time limit exceeded, terminating % 46.06/45.45 eprover: CPU time limit exceeded, terminating % 48.07/47.46 eprover: CPU time limit exceeded, terminating % 50.08/49.46 eprover: CPU time limit exceeded, terminating % 52.12/51.47 eprover: CPU time limit exceeded, terminating % 54.18/53.48 eprover: CPU time limit exceeded, terminating % 56.23/55.49 eprover: CPU time limit exceeded, terminating % 58.33/57.50 eprover: CPU time limit exceeded, terminating % 60.38/59.51 eprover: CPU time limit exceeded, terminating % 62.43/61.52 eprover: CPU time limit exceeded, terminating % 64.47/63.53 eprover: CPU time limit exceeded, terminating % 66.47/65.54 eprover: CPU time limit exceeded, terminating % 68.56/67.55 eprover: CPU time limit exceeded, terminating % 70.58/69.56 eprover: CPU time limit exceeded, terminating % 72.61/71.57 eprover: CPU time limit exceeded, terminating % 74.70/73.57 eprover: CPU time limit exceeded, terminating % 76.66/75.58 eprover: CPU time limit exceeded, terminating % 78.79/77.60 eprover: CPU time limit exceeded, terminating % 80.83/79.60 eprover: CPU time limit exceeded, terminating % 82.86/81.61 eprover: CPU time limit exceeded, terminating % 84.91/83.62 eprover: CPU time limit exceeded, terminating % 86.95/85.63 eprover: CPU time limit exceeded, terminating % 89.03/87.64 eprover: CPU time limit exceeded, terminating % 91.04/89.65 eprover: CPU time limit exceeded, terminating % 93.09/91.66 eprover: CPU time limit exceeded, terminating % 95.11/93.67 eprover: CPU time limit exceeded, terminating % 97.14/95.68 eprover: CPU time limit exceeded, terminating % 99.26/97.69 eprover: CPU time limit exceeded, terminating % 101.23/99.70 eprover: CPU time limit exceeded, terminating % 103.27/101.71 eprover: CPU time limit exceeded, terminating % 105.39/103.71 eprover: CPU time limit exceeded, terminating % 107.43/105.72 eprover: CPU time limit exceeded, terminating % 109.49/107.73 eprover: CPU time limit exceeded, terminating % 111.50/109.74 eprover: CPU time limit exceeded, terminating % 113.51/111.75 eprover: CPU time limit exceeded, terminating % 115.56/113.76 eprover: CPU time limit exceeded, terminating % 117.62/115.77 eprover: CPU time limit exceeded, terminating % 119.71/117.78 eprover: CPU time limit exceeded, terminating % 121.71/119.79 eprover: CPU time limit exceeded, terminating % 123.76/121.80 eprover: CPU time limit exceeded, terminating % 125.86/123.81 eprover: CPU time limit exceeded, terminating % 127.90/125.82 eprover: CPU time limit exceeded, terminating % 129.92/127.83 eprover: CPU time limit exceeded, terminating % 131.99/129.84 eprover: CPU time limit exceeded, terminating % 134.00/131.85 eprover: CPU time limit exceeded, terminating % 136.04/133.86 eprover: CPU time limit exceeded, terminating % 138.07/135.87 eprover: CPU time limit exceeded, terminating % 140.12/137.87 eprover: CPU time limit exceeded, terminating % 142.22/139.88 eprover: CPU time limit exceeded, terminating % 144.26/141.90 eprover: CPU time limit exceeded, terminating % 148.28/143.90 eprover: CPU time limit exceeded, terminating % 150.34/145.91 eprover: CPU time limit exceeded, terminating % 152.37/147.92 eprover: CPU time limit exceeded, terminating % 154.42/149.93 eprover: CPU time limit exceeded, terminating % 156.43/151.94 eprover: CPU time limit exceeded, terminating % 158.46/153.95 eprover: CPU time limit exceeded, terminating % 160.49/155.96 eprover: CPU time limit exceeded, terminating % 162.57/157.97 eprover: CPU time limit exceeded, terminating % 164.66/159.98 eprover: CPU time limit exceeded, terminating % 166.64/161.99 eprover: CPU time limit exceeded, terminating % 168.74/164.00 eprover: CPU time limit exceeded, terminating % 170.80/166.01 eprover: CPU time limit exceeded, terminating % 172.81/168.02 eprover: CPU time limit exceeded, terminating % 174.89/170.03 eprover: CPU time limit exceeded, terminating % 176.90/172.03 eprover: CPU time limit exceeded, terminating % 178.97/174.04 eprover: CPU time limit exceeded, terminating % 180.97/176.05 eprover: CPU time limit exceeded, terminating % 183.06/178.06 eprover: CPU time limit exceeded, terminating % 185.06/180.07 eprover: CPU time limit exceeded, terminating % 187.12/182.08 eprover: CPU time limit exceeded, terminating % 189.21/184.09 eprover: CPU time limit exceeded, terminating % 191.17/186.10 eprover: CPU time limit exceeded, terminating % 193.24/188.11 eprover: CPU time limit exceeded, terminating % 195.32/190.12 eprover: CPU time limit exceeded, terminating % 197.35/192.12 eprover: CPU time limit exceeded, terminating % 199.43/194.13 eprover: CPU time limit exceeded, terminating % 201.43/196.14 eprover: CPU time limit exceeded, terminating % 203.53/198.15 eprover: CPU time limit exceeded, terminating % 205.51/200.16 eprover: CPU time limit exceeded, terminating % 207.58/202.17 eprover: CPU time limit exceeded, terminating % 209.60/204.18 eprover: CPU time limit exceeded, terminating % 211.64/206.19 eprover: CPU time limit exceeded, terminating % 213.74/208.20 eprover: CPU time limit exceeded, terminating % 215.79/210.21 eprover: CPU time limit exceeded, terminating % 217.79/212.21 eprover: CPU time limit exceeded, terminating % 219.89/214.22 eprover: CPU time limit exceeded, terminating % 221.89/216.23 eprover: CPU time limit exceeded, terminating % 223.98/218.24 eprover: CPU time limit exceeded, terminating % 225.98/220.25 eprover: CPU time limit exceeded, terminating % 228.06/222.26 eprover: CPU time limit exceeded, terminating % 230.07/224.27 eprover: CPU time limit exceeded, terminating % 232.12/226.28 eprover: CPU time limit exceeded, terminating % 234.20/228.29 eprover: CPU time limit exceeded, terminating % 236.18/230.30 eprover: CPU time limit exceeded, terminating % 238.27/232.31 eprover: CPU time limit exceeded, terminating % 240.32/234.32 eprover: CPU time limit exceeded, terminating % 242.35/236.32 eprover: CPU time limit exceeded, terminating % 244.42/238.33 eprover: CPU time limit exceeded, terminating % 246.42/240.34 eprover: CPU time limit exceeded, terminating % 248.52/242.35 eprover: CPU time limit exceeded, terminating % 250.50/244.36 eprover: CPU time limit exceeded, terminating % 252.58/246.37 eprover: CPU time limit exceeded, terminating % 254.61/248.38 eprover: CPU time limit exceeded, terminating % 256.64/250.39 eprover: CPU time limit exceeded, terminating % 258.72/252.40 eprover: CPU time limit exceeded, terminating % 260.79/254.41 eprover: CPU time limit exceeded, terminating % 262.79/256.41 eprover: CPU time limit exceeded, terminating % 264.89/258.42 eprover: CPU time limit exceeded, terminating % 266.90/260.43 eprover: CPU time limit exceeded, terminating % 268.99/262.44 eprover: CPU time limit exceeded, terminating % 270.98/264.45 eprover: CPU time limit exceeded, terminating % 273.06/266.46 eprover: CPU time limit exceeded, terminating % 275.08/268.47 eprover: CPU time limit exceeded, terminating % 277.13/270.48 eprover: CPU time limit exceeded, terminating % 279.21/272.49 eprover: CPU time limit exceeded, terminating % 281.18/274.50 eprover: CPU time limit exceeded, terminating % 283.26/276.51 eprover: CPU time limit exceeded, terminating % 285.33/278.52 eprover: CPU time limit exceeded, terminating % 287.36/280.52 eprover: CPU time limit exceeded, terminating % 289.44/282.53 eprover: CPU time limit exceeded, terminating % 291.44/284.54 eprover: CPU time limit exceeded, terminating % 293.53/286.55 eprover: CPU time limit exceeded, terminating % 295.52/288.56 eprover: CPU time limit exceeded, terminating % 297.58/290.57 eprover: CPU time limit exceeded, terminating % 299.61/292.58 eprover: CPU time limit exceeded, terminating % 300.08/292.97 eprover: CPU time limit exceeded, terminating % 300.08/292.98 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------