%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM593+3 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n029.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:38:25 EDT 2022 % Result : Timeout 287.49s 286.74s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NUM593+3 : TPTP v8.1.0. Released v4.0.0. % 0.03/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n029.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.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Tue Jul 5 22:11:57 EDT 2022 % 0.13/0.35 % CPUTime : % 2.42/2.62 eprover: CPU time limit exceeded, terminating % 4.40/4.63 eprover: CPU time limit exceeded, terminating % 6.43/6.64 eprover: CPU time limit exceeded, terminating % 8.44/8.65 eprover: CPU time limit exceeded, terminating % 10.50/10.67 eprover: CPU time limit exceeded, terminating % 12.48/12.68 eprover: CPU time limit exceeded, terminating % 14.53/14.69 eprover: CPU time limit exceeded, terminating % 16.57/16.70 eprover: CPU time limit exceeded, terminating % 18.55/18.72 eprover: CPU time limit exceeded, terminating % 20.53/20.73 eprover: CPU time limit exceeded, terminating % 22.57/22.74 eprover: CPU time limit exceeded, terminating % 24.67/24.76 eprover: CPU time limit exceeded, terminating % 26.60/26.77 eprover: CPU time limit exceeded, terminating % 28.69/28.78 eprover: CPU time limit exceeded, terminating % 30.71/30.80 eprover: CPU time limit exceeded, terminating % 32.69/32.81 eprover: CPU time limit exceeded, terminating % 34.68/34.82 eprover: CPU time limit exceeded, terminating % 36.77/36.83 eprover: CPU time limit exceeded, terminating % 38.80/38.85 eprover: CPU time limit exceeded, terminating % 40.79/40.86 eprover: CPU time limit exceeded, terminating % 42.85/42.87 eprover: CPU time limit exceeded, terminating % 44.80/44.89 eprover: CPU time limit exceeded, terminating % 46.88/46.90 eprover: CPU time limit exceeded, terminating % 48.92/48.91 eprover: CPU time limit exceeded, terminating % 50.92/50.92 eprover: CPU time limit exceeded, terminating % 52.89/52.94 eprover: CPU time limit exceeded, terminating % 54.94/54.95 eprover: CPU time limit exceeded, terminating % 57.00/56.96 eprover: CPU time limit exceeded, terminating % 58.95/58.98 eprover: CPU time limit exceeded, terminating % 61.02/60.99 eprover: CPU time limit exceeded, terminating % 63.04/63.00 eprover: CPU time limit exceeded, terminating % 65.08/65.02 eprover: CPU time limit exceeded, terminating % 67.09/67.03 eprover: CPU time limit exceeded, terminating % 69.10/69.05 eprover: CPU time limit exceeded, terminating % 71.10/71.07 eprover: CPU time limit exceeded, terminating % 73.08/73.09 eprover: CPU time limit exceeded, terminating % 75.11/75.11 eprover: CPU time limit exceeded, terminating % 77.18/77.13 eprover: CPU time limit exceeded, terminating % 79.17/79.15 eprover: CPU time limit exceeded, terminating % 81.22/81.16 eprover: CPU time limit exceeded, terminating % 83.28/83.17 eprover: CPU time limit exceeded, terminating % 85.29/85.18 eprover: CPU time limit exceeded, terminating % 87.31/87.20 eprover: CPU time limit exceeded, terminating % 89.31/89.21 eprover: CPU time limit exceeded, terminating % 91.37/91.23 eprover: CPU time limit exceeded, terminating % 93.32/93.24 eprover: CPU time limit exceeded, terminating % 95.38/95.25 eprover: CPU time limit exceeded, terminating % 97.33/97.28 eprover: CPU time limit exceeded, terminating % 99.46/99.29 eprover: CPU time limit exceeded, terminating % 101.46/101.31 eprover: CPU time limit exceeded, terminating % 103.48/103.32 eprover: CPU time limit exceeded, terminating % 105.48/105.34 eprover: CPU time limit exceeded, terminating % 107.53/107.36 eprover: CPU time limit exceeded, terminating % 109.53/109.38 eprover: CPU time limit exceeded, terminating % 111.59/111.39 eprover: CPU time limit exceeded, terminating % 113.60/113.41 eprover: CPU time limit exceeded, terminating % 115.61/115.43 eprover: CPU time limit exceeded, terminating % 117.64/117.45 eprover: CPU time limit exceeded, terminating % 119.67/119.46 eprover: CPU time limit exceeded, terminating % 121.69/121.47 eprover: CPU time limit exceeded, terminating % 123.68/123.49 eprover: CPU time limit exceeded, terminating % 125.70/125.50 eprover: CPU time limit exceeded, terminating % 127.76/127.52 eprover: CPU time limit exceeded, terminating % 129.76/129.53 eprover: CPU time limit exceeded, terminating % 131.81/131.54 eprover: CPU time limit exceeded, terminating % 133.77/133.56 eprover: CPU time limit exceeded, terminating % 135.82/135.58 eprover: CPU time limit exceeded, terminating % 137.87/137.61 eprover: CPU time limit exceeded, terminating % 139.83/139.62 eprover: CPU time limit exceeded, terminating % 141.87/141.65 eprover: CPU time limit exceeded, terminating % 143.96/143.68 eprover: CPU time limit exceeded, terminating % 145.94/145.70 eprover: CPU time limit exceeded, terminating % 148.00/147.71 eprover: CPU time limit exceeded, terminating % 149.95/149.73 eprover: CPU time limit exceeded, terminating % 152.03/151.74 eprover: CPU time limit exceeded, terminating % 154.06/153.75 eprover: CPU time limit exceeded, terminating % 156.04/155.77 eprover: CPU time limit exceeded, terminating % 158.12/157.78 eprover: CPU time limit exceeded, terminating % 160.11/159.80 eprover: CPU time limit exceeded, terminating % 162.13/161.81 eprover: CPU time limit exceeded, terminating % 164.16/163.82 eprover: CPU time limit exceeded, terminating % 166.17/165.83 eprover: CPU time limit exceeded, terminating % 168.22/167.85 eprover: CPU time limit exceeded, terminating % 170.20/169.86 eprover: CPU time limit exceeded, terminating % 172.23/171.88 eprover: CPU time limit exceeded, terminating % 174.27/173.89 eprover: CPU time limit exceeded, terminating % 176.33/175.90 eprover: CPU time limit exceeded, terminating % 178.29/177.92 eprover: CPU time limit exceeded, terminating % 180.34/179.94 eprover: CPU time limit exceeded, terminating % 182.35/181.95 eprover: CPU time limit exceeded, terminating % 184.38/183.98 eprover: CPU time limit exceeded, terminating % 186.36/185.99 eprover: CPU time limit exceeded, terminating % 188.43/188.01 eprover: CPU time limit exceeded, terminating % 190.45/190.03 eprover: CPU time limit exceeded, terminating % 192.47/192.05 eprover: CPU time limit exceeded, terminating % 194.42/194.09 eprover: CPU time limit exceeded, terminating % 196.50/196.11 eprover: CPU time limit exceeded, terminating % 198.52/198.14 eprover: CPU time limit exceeded, terminating % 200.53/200.16 eprover: CPU time limit exceeded, terminating % 202.52/202.17 eprover: CPU time limit exceeded, terminating % 204.54/204.19 eprover: CPU time limit exceeded, terminating % 206.57/206.20 eprover: CPU time limit exceeded, terminating % 208.66/208.21 eprover: CPU time limit exceeded, terminating % 210.58/210.23 eprover: CPU time limit exceeded, terminating % 212.67/212.24 eprover: CPU time limit exceeded, terminating % 214.70/214.25 eprover: CPU time limit exceeded, terminating % 216.68/216.27 eprover: CPU time limit exceeded, terminating % 218.77/218.28 eprover: CPU time limit exceeded, terminating % 220.71/220.29 eprover: CPU time limit exceeded, terminating % 222.75/222.31 eprover: CPU time limit exceeded, terminating % 224.83/224.32 eprover: CPU time limit exceeded, terminating % 226.83/226.33 eprover: CPU time limit exceeded, terminating % 228.85/228.34 eprover: CPU time limit exceeded, terminating % 230.82/230.36 eprover: CPU time limit exceeded, terminating % 232.83/232.37 eprover: CPU time limit exceeded, terminating % 234.86/234.39 eprover: CPU time limit exceeded, terminating % 236.96/236.40 eprover: CPU time limit exceeded, terminating % 238.99/238.42 eprover: CPU time limit exceeded, terminating % 241.00/240.43 eprover: CPU time limit exceeded, terminating % 243.01/242.45 eprover: CPU time limit exceeded, terminating % 245.03/244.46 eprover: CPU time limit exceeded, terminating % 247.01/246.48 eprover: CPU time limit exceeded, terminating % 249.10/248.49 eprover: CPU time limit exceeded, terminating % 251.12/250.51 eprover: CPU time limit exceeded, terminating % 253.14/252.52 eprover: CPU time limit exceeded, terminating % 255.15/254.53 eprover: CPU time limit exceeded, terminating % 257.15/256.55 eprover: CPU time limit exceeded, terminating % 259.16/258.56 eprover: CPU time limit exceeded, terminating % 261.15/260.58 eprover: CPU time limit exceeded, terminating % 263.20/262.59 eprover: CPU time limit exceeded, terminating % 265.21/264.60 eprover: CPU time limit exceeded, terminating % 267.32/266.62 eprover: CPU time limit exceeded, terminating % 269.31/268.63 eprover: CPU time limit exceeded, terminating % 271.33/270.65 eprover: CPU time limit exceeded, terminating % 273.34/272.66 eprover: CPU time limit exceeded, terminating % 275.32/274.67 eprover: CPU time limit exceeded, terminating % 277.37/276.69 eprover: CPU time limit exceeded, terminating % 279.42/278.70 eprover: CPU time limit exceeded, terminating % 281.47/280.71 eprover: CPU time limit exceeded, terminating % 283.45/282.72 eprover: CPU time limit exceeded, terminating % 285.46/284.73 eprover: CPU time limit exceeded, terminating % 287.49/286.74 eprover: CPU time limit exceeded, terminating % 289.50/288.75 eprover: CPU time limit exceeded, terminating % 291.54/290.76 eprover: CPU time limit exceeded, terminating % 293.52/292.77 eprover: CPU time limit exceeded, terminating % 295.60/294.78 eprover: CPU time limit exceeded, terminating % 297.62/296.79 eprover: CPU time limit exceeded, terminating % 299.62/298.80 eprover: CPU time limit exceeded, terminating % 300.16/299.33 eprover: CPU time limit exceeded, terminating % 300.16/299.34 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------