%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM694+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n019.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:42 EDT 2022 % Result : Timeout 287.29s 282.70s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.09/0.11 % Problem : NUM694+4 : TPTP v8.1.0. Released v7.3.0. % 0.09/0.11 % Command : run_infinox %s % 0.11/0.32 % Computer : n019.cluster.edu % 0.11/0.32 % Model : x86_64 x86_64 % 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.11/0.32 % Memory : 8042.1875MB % 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.11/0.32 % CPULimit : 300 % 0.11/0.32 % WCLimit : 600 % 0.11/0.32 % DateTime : Tue Jul 5 20:08:38 EDT 2022 % 0.11/0.33 % CPUTime : % 2.95/3.17 eprover: CPU time limit exceeded, terminating % 5.00/5.18 eprover: CPU time limit exceeded, terminating % 7.01/7.19 eprover: CPU time limit exceeded, terminating % 9.13/9.20 eprover: CPU time limit exceeded, terminating % 11.09/11.21 eprover: CPU time limit exceeded, terminating % 13.20/13.22 eprover: CPU time limit exceeded, terminating % 15.26/15.23 eprover: CPU time limit exceeded, terminating % 17.29/17.24 eprover: CPU time limit exceeded, terminating % 19.36/19.25 eprover: CPU time limit exceeded, terminating % 21.36/21.26 eprover: CPU time limit exceeded, terminating % 23.41/23.27 eprover: CPU time limit exceeded, terminating % 25.43/25.28 eprover: CPU time limit exceeded, terminating % 27.49/27.29 eprover: CPU time limit exceeded, terminating % 29.58/29.30 eprover: CPU time limit exceeded, terminating % 31.56/31.31 eprover: CPU time limit exceeded, terminating % 33.63/33.32 eprover: CPU time limit exceeded, terminating % 35.73/35.33 eprover: CPU time limit exceeded, terminating % 37.73/37.34 eprover: CPU time limit exceeded, terminating % 39.82/39.35 eprover: CPU time limit exceeded, terminating % 41.84/41.36 eprover: CPU time limit exceeded, terminating % 43.87/43.36 eprover: CPU time limit exceeded, terminating % 45.90/45.37 eprover: CPU time limit exceeded, terminating % 47.96/47.38 eprover: CPU time limit exceeded, terminating % 50.03/49.39 eprover: CPU time limit exceeded, terminating % 52.08/51.40 eprover: CPU time limit exceeded, terminating % 54.14/53.41 eprover: CPU time limit exceeded, terminating % 56.17/55.42 eprover: CPU time limit exceeded, terminating % 58.20/57.43 eprover: CPU time limit exceeded, terminating % 60.22/59.44 eprover: CPU time limit exceeded, terminating % 62.30/61.45 eprover: CPU time limit exceeded, terminating % 64.30/63.46 eprover: CPU time limit exceeded, terminating % 66.37/65.47 eprover: CPU time limit exceeded, terminating % 68.45/67.48 eprover: CPU time limit exceeded, terminating % 70.43/69.49 eprover: CPU time limit exceeded, terminating % 72.50/71.50 eprover: CPU time limit exceeded, terminating % 74.60/73.51 eprover: CPU time limit exceeded, terminating % 76.61/75.52 eprover: CPU time limit exceeded, terminating % 78.67/77.53 eprover: CPU time limit exceeded, terminating % 80.71/79.54 eprover: CPU time limit exceeded, terminating % 82.71/81.55 eprover: CPU time limit exceeded, terminating % 84.78/83.56 eprover: CPU time limit exceeded, terminating % 86.85/85.57 eprover: CPU time limit exceeded, terminating % 88.84/87.58 eprover: CPU time limit exceeded, terminating % 90.93/89.59 eprover: CPU time limit exceeded, terminating % 92.93/91.60 eprover: CPU time limit exceeded, terminating % 95.03/93.61 eprover: CPU time limit exceeded, terminating % 97.04/95.62 eprover: CPU time limit exceeded, terminating % 99.11/97.63 eprover: CPU time limit exceeded, terminating % 101.18/99.64 eprover: CPU time limit exceeded, terminating % 103.16/101.65 eprover: CPU time limit exceeded, terminating % 105.23/103.67 eprover: CPU time limit exceeded, terminating % 107.30/105.68 eprover: CPU time limit exceeded, terminating % 109.34/107.69 eprover: CPU time limit exceeded, terminating % 111.34/109.70 eprover: CPU time limit exceeded, terminating % 113.45/111.71 eprover: CPU time limit exceeded, terminating % 115.46/113.72 eprover: CPU time limit exceeded, terminating % 117.52/115.72 eprover: CPU time limit exceeded, terminating % 119.55/117.73 eprover: CPU time limit exceeded, terminating % 121.62/119.75 eprover: CPU time limit exceeded, terminating % 123.61/121.76 eprover: CPU time limit exceeded, terminating % 125.71/123.77 eprover: CPU time limit exceeded, terminating % 127.71/125.78 eprover: CPU time limit exceeded, terminating % 129.81/127.79 eprover: CPU time limit exceeded, terminating % 131.78/129.79 eprover: CPU time limit exceeded, terminating % 133.89/131.80 eprover: CPU time limit exceeded, terminating % 135.86/133.81 eprover: CPU time limit exceeded, terminating % 137.99/135.82 eprover: CPU time limit exceeded, terminating % 140.02/137.83 eprover: CPU time limit exceeded, terminating % 142.02/139.84 eprover: CPU time limit exceeded, terminating % 144.08/141.85 eprover: CPU time limit exceeded, terminating % 146.09/143.86 eprover: CPU time limit exceeded, terminating % 148.14/145.87 eprover: CPU time limit exceeded, terminating % 150.26/147.88 eprover: CPU time limit exceeded, terminating % 152.24/149.89 eprover: CPU time limit exceeded, terminating % 154.35/151.90 eprover: CPU time limit exceeded, terminating % 156.39/153.91 eprover: CPU time limit exceeded, terminating % 158.44/155.92 eprover: CPU time limit exceeded, terminating % 160.48/157.93 eprover: CPU time limit exceeded, terminating % 162.49/159.94 eprover: CPU time limit exceeded, terminating % 164.54/161.95 eprover: CPU time limit exceeded, terminating % 166.53/163.96 eprover: CPU time limit exceeded, terminating % 168.63/165.97 eprover: CPU time limit exceeded, terminating % 170.72/167.98 eprover: CPU time limit exceeded, terminating % 172.77/169.99 eprover: CPU time limit exceeded, terminating % 174.74/172.01 eprover: CPU time limit exceeded, terminating % 176.87/174.02 eprover: CPU time limit exceeded, terminating % 178.88/176.02 eprover: CPU time limit exceeded, terminating % 180.93/178.03 eprover: CPU time limit exceeded, terminating % 182.93/180.05 eprover: CPU time limit exceeded, terminating % 184.99/182.06 eprover: CPU time limit exceeded, terminating % 187.02/184.08 eprover: CPU time limit exceeded, terminating % 189.12/186.09 eprover: CPU time limit exceeded, terminating % 191.17/188.10 eprover: CPU time limit exceeded, terminating % 193.20/190.12 eprover: CPU time limit exceeded, terminating % 195.24/192.12 eprover: CPU time limit exceeded, terminating % 197.31/194.14 eprover: CPU time limit exceeded, terminating % 199.33/196.15 eprover: CPU time limit exceeded, terminating % 201.36/198.16 eprover: CPU time limit exceeded, terminating % 203.43/200.17 eprover: CPU time limit exceeded, terminating % 205.48/202.18 eprover: CPU time limit exceeded, terminating % 207.51/204.19 eprover: CPU time limit exceeded, terminating % 209.58/206.22 eprover: CPU time limit exceeded, terminating % 211.57/208.24 eprover: CPU time limit exceeded, terminating % 213.66/210.25 eprover: CPU time limit exceeded, terminating % 215.68/212.26 eprover: CPU time limit exceeded, terminating % 217.73/214.27 eprover: CPU time limit exceeded, terminating % 219.75/216.28 eprover: CPU time limit exceeded, terminating % 221.80/218.30 eprover: CPU time limit exceeded, terminating % 223.85/220.31 eprover: CPU time limit exceeded, terminating % 225.90/222.33 eprover: CPU time limit exceeded, terminating % 227.97/224.34 eprover: CPU time limit exceeded, terminating % 229.99/226.35 eprover: CPU time limit exceeded, terminating % 232.07/228.37 eprover: CPU time limit exceeded, terminating % 234.10/230.38 eprover: CPU time limit exceeded, terminating % 236.14/232.39 eprover: CPU time limit exceeded, terminating % 238.17/234.40 eprover: CPU time limit exceeded, terminating % 240.23/236.41 eprover: CPU time limit exceeded, terminating % 242.26/238.43 eprover: CPU time limit exceeded, terminating % 244.30/240.44 eprover: CPU time limit exceeded, terminating % 246.35/242.45 eprover: CPU time limit exceeded, terminating % 248.33/244.46 eprover: CPU time limit exceeded, terminating % 250.44/246.48 eprover: CPU time limit exceeded, terminating % 252.53/248.49 eprover: CPU time limit exceeded, terminating % 254.54/250.50 eprover: CPU time limit exceeded, terminating % 256.54/252.52 eprover: CPU time limit exceeded, terminating % 258.67/254.53 eprover: CPU time limit exceeded, terminating % 260.71/256.54 eprover: CPU time limit exceeded, terminating % 262.73/258.55 eprover: CPU time limit exceeded, terminating % 264.77/260.56 eprover: CPU time limit exceeded, terminating % 266.75/262.57 eprover: CPU time limit exceeded, terminating % 268.89/264.58 eprover: CPU time limit exceeded, terminating % 270.88/266.59 eprover: CPU time limit exceeded, terminating % 272.99/268.61 eprover: CPU time limit exceeded, terminating % 274.98/270.64 eprover: CPU time limit exceeded, terminating % 277.04/272.65 eprover: CPU time limit exceeded, terminating % 279.09/274.66 eprover: CPU time limit exceeded, terminating % 281.09/276.67 eprover: CPU time limit exceeded, terminating % 283.15/278.68 eprover: CPU time limit exceeded, terminating % 285.18/280.69 eprover: CPU time limit exceeded, terminating % 287.29/282.70 eprover: CPU time limit exceeded, terminating % 289.33/284.72 eprover: CPU time limit exceeded, terminating % 291.35/286.73 eprover: CPU time limit exceeded, terminating % 293.40/288.76 eprover: CPU time limit exceeded, terminating % 295.46/290.77 eprover: CPU time limit exceeded, terminating % 297.50/292.82 eprover: CPU time limit exceeded, terminating % 299.54/294.84 eprover: CPU time limit exceeded, terminating % 300.09/295.32 eprover: CPU time limit exceeded, terminating % 300.09/295.34 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------