%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM313+1 : TPTP v8.1.0. Released v3.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n013.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:02 EDT 2022 % Result : Timeout 287.71s 286.41s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NUM313+1 : TPTP v8.1.0. Released v3.1.0. % 0.13/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n013.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 19:38:29 EDT 2022 % 0.13/0.34 % CPUTime : % 2.35/2.53 eprover: CPU time limit exceeded, terminating % 4.36/4.54 eprover: CPU time limit exceeded, terminating % 6.35/6.55 eprover: CPU time limit exceeded, terminating % 8.36/8.55 eprover: CPU time limit exceeded, terminating % 10.41/10.56 eprover: CPU time limit exceeded, terminating % 12.37/12.57 eprover: CPU time limit exceeded, terminating % 14.45/14.58 eprover: CPU time limit exceeded, terminating % 16.49/16.61 eprover: CPU time limit exceeded, terminating % 18.49/18.62 eprover: CPU time limit exceeded, terminating % 20.53/20.63 eprover: CPU time limit exceeded, terminating % 22.50/22.64 eprover: CPU time limit exceeded, terminating % 24.52/24.65 eprover: CPU time limit exceeded, terminating % 26.54/26.66 eprover: CPU time limit exceeded, terminating % 28.62/28.67 eprover: CPU time limit exceeded, terminating % 30.59/30.68 eprover: CPU time limit exceeded, terminating % 32.65/32.69 eprover: CPU time limit exceeded, terminating % 34.67/34.70 eprover: CPU time limit exceeded, terminating % 36.61/36.71 eprover: CPU time limit exceeded, terminating % 38.70/38.72 eprover: CPU time limit exceeded, terminating % 40.71/40.73 eprover: CPU time limit exceeded, terminating % 42.74/42.74 eprover: CPU time limit exceeded, terminating % 44.72/44.75 eprover: CPU time limit exceeded, terminating % 46.76/46.76 eprover: CPU time limit exceeded, terminating % 48.78/48.77 eprover: CPU time limit exceeded, terminating % 50.82/50.78 eprover: CPU time limit exceeded, terminating % 52.81/52.79 eprover: CPU time limit exceeded, terminating % 54.84/54.80 eprover: CPU time limit exceeded, terminating % 56.89/56.81 eprover: CPU time limit exceeded, terminating % 58.85/58.82 eprover: CPU time limit exceeded, terminating % 60.88/60.83 eprover: CPU time limit exceeded, terminating % 62.93/62.84 eprover: CPU time limit exceeded, terminating % 64.96/64.85 eprover: CPU time limit exceeded, terminating % 66.93/66.87 eprover: CPU time limit exceeded, terminating % 69.03/68.88 eprover: CPU time limit exceeded, terminating % 71.02/70.89 eprover: CPU time limit exceeded, terminating % 73.07/72.91 eprover: CPU time limit exceeded, terminating % 75.07/74.92 eprover: CPU time limit exceeded, terminating % 77.12/76.93 eprover: CPU time limit exceeded, terminating % 79.09/78.95 eprover: CPU time limit exceeded, terminating % 81.15/80.96 eprover: CPU time limit exceeded, terminating % 83.17/82.98 eprover: CPU time limit exceeded, terminating % 85.20/84.99 eprover: CPU time limit exceeded, terminating % 87.19/87.01 eprover: CPU time limit exceeded, terminating % 89.23/89.02 eprover: CPU time limit exceeded, terminating % 91.30/91.03 eprover: CPU time limit exceeded, terminating % 93.25/93.05 eprover: CPU time limit exceeded, terminating % 95.32/95.06 eprover: CPU time limit exceeded, terminating % 97.37/97.08 eprover: CPU time limit exceeded, terminating % 99.37/99.09 eprover: CPU time limit exceeded, terminating % 101.38/101.11 eprover: CPU time limit exceeded, terminating % 103.43/103.12 eprover: CPU time limit exceeded, terminating % 105.44/105.14 eprover: CPU time limit exceeded, terminating % 107.43/107.15 eprover: CPU time limit exceeded, terminating % 109.54/109.16 eprover: CPU time limit exceeded, terminating % 111.53/111.18 eprover: CPU time limit exceeded, terminating % 113.56/113.19 eprover: CPU time limit exceeded, terminating % 115.60/115.20 eprover: CPU time limit exceeded, terminating % 117.60/117.22 eprover: CPU time limit exceeded, terminating % 119.56/119.23 eprover: CPU time limit exceeded, terminating % 121.67/121.24 eprover: CPU time limit exceeded, terminating % 123.69/123.26 eprover: CPU time limit exceeded, terminating % 125.71/125.27 eprover: CPU time limit exceeded, terminating % 127.74/127.29 eprover: CPU time limit exceeded, terminating % 129.74/129.30 eprover: CPU time limit exceeded, terminating % 131.77/131.32 eprover: CPU time limit exceeded, terminating % 133.83/133.33 eprover: CPU time limit exceeded, terminating % 135.80/135.35 eprover: CPU time limit exceeded, terminating % 137.89/137.36 eprover: CPU time limit exceeded, terminating % 139.89/139.38 eprover: CPU time limit exceeded, terminating % 141.92/141.39 eprover: CPU time limit exceeded, terminating % 143.91/143.40 eprover: CPU time limit exceeded, terminating % 145.93/145.42 eprover: CPU time limit exceeded, terminating % 147.90/147.43 eprover: CPU time limit exceeded, terminating % 150.03/149.45 eprover: CPU time limit exceeded, terminating % 152.05/151.46 eprover: CPU time limit exceeded, terminating % 154.07/153.48 eprover: CPU time limit exceeded, terminating % 156.11/155.49 eprover: CPU time limit exceeded, terminating % 158.09/157.51 eprover: CPU time limit exceeded, terminating % 160.09/159.52 eprover: CPU time limit exceeded, terminating % 162.09/161.53 eprover: CPU time limit exceeded, terminating % 164.20/163.55 eprover: CPU time limit exceeded, terminating % 166.24/165.56 eprover: CPU time limit exceeded, terminating % 168.25/167.58 eprover: CPU time limit exceeded, terminating % 170.24/169.59 eprover: CPU time limit exceeded, terminating % 172.27/171.60 eprover: CPU time limit exceeded, terminating % 174.25/173.62 eprover: CPU time limit exceeded, terminating % 176.36/175.63 eprover: CPU time limit exceeded, terminating % 178.38/177.65 eprover: CPU time limit exceeded, terminating % 180.40/179.66 eprover: CPU time limit exceeded, terminating % 182.44/181.68 eprover: CPU time limit exceeded, terminating % 184.41/183.69 eprover: CPU time limit exceeded, terminating % 186.45/185.70 eprover: CPU time limit exceeded, terminating % 188.52/187.72 eprover: CPU time limit exceeded, terminating % 190.50/189.73 eprover: CPU time limit exceeded, terminating % 192.56/191.75 eprover: CPU time limit exceeded, terminating % 194.60/193.76 eprover: CPU time limit exceeded, terminating % 196.62/195.77 eprover: CPU time limit exceeded, terminating % 198.63/197.79 eprover: CPU time limit exceeded, terminating % 200.66/199.80 eprover: CPU time limit exceeded, terminating % 202.69/201.82 eprover: CPU time limit exceeded, terminating % 204.64/203.83 eprover: CPU time limit exceeded, terminating % 206.72/205.84 eprover: CPU time limit exceeded, terminating % 208.78/207.86 eprover: CPU time limit exceeded, terminating % 210.79/209.87 eprover: CPU time limit exceeded, terminating % 212.81/211.89 eprover: CPU time limit exceeded, terminating % 214.80/213.90 eprover: CPU time limit exceeded, terminating % 216.83/215.91 eprover: CPU time limit exceeded, terminating % 218.88/217.93 eprover: CPU time limit exceeded, terminating % 220.84/219.94 eprover: CPU time limit exceeded, terminating % 222.91/221.95 eprover: CPU time limit exceeded, terminating % 224.96/223.97 eprover: CPU time limit exceeded, terminating % 226.95/225.98 eprover: CPU time limit exceeded, terminating % 228.99/228.00 eprover: CPU time limit exceeded, terminating % 230.99/230.01 eprover: CPU time limit exceeded, terminating % 233.01/232.03 eprover: CPU time limit exceeded, terminating % 235.05/234.04 eprover: CPU time limit exceeded, terminating % 237.12/236.05 eprover: CPU time limit exceeded, terminating % 239.11/238.07 eprover: CPU time limit exceeded, terminating % 241.16/240.08 eprover: CPU time limit exceeded, terminating % 243.13/242.10 eprover: CPU time limit exceeded, terminating % 245.20/244.11 eprover: CPU time limit exceeded, terminating % 247.23/246.12 eprover: CPU time limit exceeded, terminating % 249.23/248.14 eprover: CPU time limit exceeded, terminating % 251.25/250.15 eprover: CPU time limit exceeded, terminating % 253.29/252.17 eprover: CPU time limit exceeded, terminating % 255.32/254.18 eprover: CPU time limit exceeded, terminating % 257.38/256.19 eprover: CPU time limit exceeded, terminating % 259.37/258.21 eprover: CPU time limit exceeded, terminating % 261.39/260.22 eprover: CPU time limit exceeded, terminating % 263.39/262.24 eprover: CPU time limit exceeded, terminating % 265.46/264.25 eprover: CPU time limit exceeded, terminating % 267.42/266.27 eprover: CPU time limit exceeded, terminating % 269.49/268.28 eprover: CPU time limit exceeded, terminating % 271.52/270.30 eprover: CPU time limit exceeded, terminating % 273.49/272.31 eprover: CPU time limit exceeded, terminating % 275.54/274.32 eprover: CPU time limit exceeded, terminating % 277.61/276.34 eprover: CPU time limit exceeded, terminating % 279.56/278.35 eprover: CPU time limit exceeded, terminating % 281.64/280.37 eprover: CPU time limit exceeded, terminating % 283.69/282.38 eprover: CPU time limit exceeded, terminating % 285.68/284.40 eprover: CPU time limit exceeded, terminating % 287.71/286.41 eprover: CPU time limit exceeded, terminating % 289.75/288.43 eprover: CPU time limit exceeded, terminating % 291.73/290.44 eprover: CPU time limit exceeded, terminating % 293.81/292.46 eprover: CPU time limit exceeded, terminating % 295.82/294.47 eprover: CPU time limit exceeded, terminating % 297.83/296.48 eprover: CPU time limit exceeded, terminating % 299.89/298.50 eprover: CPU time limit exceeded, terminating % 300.08/298.67 eprover: CPU time limit exceeded, terminating % 300.08/298.69 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------