%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB050+1 : TPTP v8.1.0. Released v5.2.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 : Tue Jul 19 19:04:41 EDT 2022 % Result : Timeout 285.86s 282.67s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.13/0.13 % Problem : SWB050+1 : TPTP v8.1.0. Released v5.2.0. % 0.13/0.14 % Command : run_infinox %s % 0.14/0.35 % Computer : n019.cluster.edu % 0.14/0.35 % Model : x86_64 x86_64 % 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.35 % Memory : 8042.1875MB % 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.35 % CPULimit : 300 % 0.14/0.35 % WCLimit : 600 % 0.14/0.35 % DateTime : Wed Jun 1 03:59:10 EDT 2022 % 0.14/0.36 % CPUTime : % 2.88/3.05 eprover: CPU time limit exceeded, terminating % 4.90/5.06 eprover: CPU time limit exceeded, terminating % 6.94/7.07 eprover: CPU time limit exceeded, terminating % 8.93/9.09 eprover: CPU time limit exceeded, terminating % 10.97/11.10 eprover: CPU time limit exceeded, terminating % 13.03/13.11 eprover: CPU time limit exceeded, terminating % 15.07/15.12 eprover: CPU time limit exceeded, terminating % 17.13/17.13 eprover: CPU time limit exceeded, terminating % 19.11/19.14 eprover: CPU time limit exceeded, terminating % 21.20/21.16 eprover: CPU time limit exceeded, terminating % 23.18/23.17 eprover: CPU time limit exceeded, terminating % 25.25/25.18 eprover: CPU time limit exceeded, terminating % 27.31/27.20 eprover: CPU time limit exceeded, terminating % 29.27/29.21 eprover: CPU time limit exceeded, terminating % 31.34/31.22 eprover: CPU time limit exceeded, terminating % 33.43/33.23 eprover: CPU time limit exceeded, terminating % 35.46/35.24 eprover: CPU time limit exceeded, terminating % 37.48/37.26 eprover: CPU time limit exceeded, terminating % 39.52/39.27 eprover: CPU time limit exceeded, terminating % 41.55/41.28 eprover: CPU time limit exceeded, terminating % 43.57/43.29 eprover: CPU time limit exceeded, terminating % 45.58/45.30 eprover: CPU time limit exceeded, terminating % 47.66/47.31 eprover: CPU time limit exceeded, terminating % 49.65/49.33 eprover: CPU time limit exceeded, terminating % 51.75/51.34 eprover: CPU time limit exceeded, terminating % 53.74/53.35 eprover: CPU time limit exceeded, terminating % 55.81/55.36 eprover: CPU time limit exceeded, terminating % 57.84/57.38 eprover: CPU time limit exceeded, terminating % 59.89/59.39 eprover: CPU time limit exceeded, terminating % 61.89/61.40 eprover: CPU time limit exceeded, terminating % 63.91/63.41 eprover: CPU time limit exceeded, terminating % 66.02/65.43 eprover: CPU time limit exceeded, terminating % 68.01/67.44 eprover: CPU time limit exceeded, terminating % 70.08/69.45 eprover: CPU time limit exceeded, terminating % 72.12/71.46 eprover: CPU time limit exceeded, terminating % 74.14/73.47 eprover: CPU time limit exceeded, terminating % 76.16/75.49 eprover: CPU time limit exceeded, terminating % 78.21/77.50 eprover: CPU time limit exceeded, terminating % 80.24/79.51 eprover: CPU time limit exceeded, terminating % 82.32/81.52 eprover: CPU time limit exceeded, terminating % 84.36/83.53 eprover: CPU time limit exceeded, terminating % 86.35/85.55 eprover: CPU time limit exceeded, terminating % 88.43/87.56 eprover: CPU time limit exceeded, terminating % 90.46/89.57 eprover: CPU time limit exceeded, terminating % 92.45/91.58 eprover: CPU time limit exceeded, terminating % 94.54/93.60 eprover: CPU time limit exceeded, terminating % 96.56/95.61 eprover: CPU time limit exceeded, terminating % 98.59/97.62 eprover: CPU time limit exceeded, terminating % 100.62/99.63 eprover: CPU time limit exceeded, terminating % 102.64/101.64 eprover: CPU time limit exceeded, terminating % 104.69/103.66 eprover: CPU time limit exceeded, terminating % 106.76/105.67 eprover: CPU time limit exceeded, terminating % 108.80/107.68 eprover: CPU time limit exceeded, terminating % 110.81/109.70 eprover: CPU time limit exceeded, terminating % 112.82/111.71 eprover: CPU time limit exceeded, terminating % 114.89/113.72 eprover: CPU time limit exceeded, terminating % 116.86/115.73 eprover: CPU time limit exceeded, terminating % 118.98/117.74 eprover: CPU time limit exceeded, terminating % 121.03/119.76 eprover: CPU time limit exceeded, terminating % 123.06/121.77 eprover: CPU time limit exceeded, terminating % 125.09/123.78 eprover: CPU time limit exceeded, terminating % 127.14/125.79 eprover: CPU time limit exceeded, terminating % 129.14/127.81 eprover: CPU time limit exceeded, terminating % 131.18/129.82 eprover: CPU time limit exceeded, terminating % 133.26/131.83 eprover: CPU time limit exceeded, terminating % 135.22/133.84 eprover: CPU time limit exceeded, terminating % 137.30/135.85 eprover: CPU time limit exceeded, terminating % 139.35/137.87 eprover: CPU time limit exceeded, terminating % 141.32/139.88 eprover: CPU time limit exceeded, terminating % 143.44/141.89 eprover: CPU time limit exceeded, terminating % 145.40/143.90 eprover: CPU time limit exceeded, terminating % 147.42/145.91 eprover: CPU time limit exceeded, terminating % 149.56/147.93 eprover: CPU time limit exceeded, terminating % 151.55/149.94 eprover: CPU time limit exceeded, terminating % 153.60/151.95 eprover: CPU time limit exceeded, terminating % 155.61/153.96 eprover: CPU time limit exceeded, terminating % 157.71/155.97 eprover: CPU time limit exceeded, terminating % 159.66/157.98 eprover: CPU time limit exceeded, terminating % 161.76/159.99 eprover: CPU time limit exceeded, terminating % 163.72/162.00 eprover: CPU time limit exceeded, terminating % 165.82/164.01 eprover: CPU time limit exceeded, terminating % 167.82/166.02 eprover: CPU time limit exceeded, terminating % 169.87/168.03 eprover: CPU time limit exceeded, terminating % 171.91/170.04 eprover: CPU time limit exceeded, terminating % 173.93/172.05 eprover: CPU time limit exceeded, terminating % 175.94/174.06 eprover: CPU time limit exceeded, terminating % 177.96/176.07 eprover: CPU time limit exceeded, terminating % 179.97/178.08 eprover: CPU time limit exceeded, terminating % 182.03/180.09 eprover: CPU time limit exceeded, terminating % 184.13/182.10 eprover: CPU time limit exceeded, terminating % 186.10/184.11 eprover: CPU time limit exceeded, terminating % 188.19/186.12 eprover: CPU time limit exceeded, terminating % 190.22/188.13 eprover: CPU time limit exceeded, terminating % 192.23/190.14 eprover: CPU time limit exceeded, terminating % 194.29/192.15 eprover: CPU time limit exceeded, terminating % 196.28/194.16 eprover: CPU time limit exceeded, terminating % 198.32/196.17 eprover: CPU time limit exceeded, terminating % 200.40/198.18 eprover: CPU time limit exceeded, terminating % 202.46/200.20 eprover: CPU time limit exceeded, terminating % 204.48/202.21 eprover: CPU time limit exceeded, terminating % 206.50/204.22 eprover: CPU time limit exceeded, terminating % 208.51/206.23 eprover: CPU time limit exceeded, terminating % 210.55/208.24 eprover: CPU time limit exceeded, terminating % 212.62/210.25 eprover: CPU time limit exceeded, terminating % 214.63/212.26 eprover: CPU time limit exceeded, terminating % 216.64/214.27 eprover: CPU time limit exceeded, terminating % 218.71/216.28 eprover: CPU time limit exceeded, terminating % 220.70/218.30 eprover: CPU time limit exceeded, terminating % 222.76/220.31 eprover: CPU time limit exceeded, terminating % 224.82/222.32 eprover: CPU time limit exceeded, terminating % 226.83/224.33 eprover: CPU time limit exceeded, terminating % 228.85/226.34 eprover: CPU time limit exceeded, terminating % 230.92/228.35 eprover: CPU time limit exceeded, terminating % 232.93/230.36 eprover: CPU time limit exceeded, terminating % 234.95/232.37 eprover: CPU time limit exceeded, terminating % 237.01/234.39 eprover: CPU time limit exceeded, terminating % 239.00/236.40 eprover: CPU time limit exceeded, terminating % 241.13/238.41 eprover: CPU time limit exceeded, terminating % 243.15/240.42 eprover: CPU time limit exceeded, terminating % 245.18/242.43 eprover: CPU time limit exceeded, terminating % 247.19/244.44 eprover: CPU time limit exceeded, terminating % 249.24/246.46 eprover: CPU time limit exceeded, terminating % 251.27/248.47 eprover: CPU time limit exceeded, terminating % 253.27/250.48 eprover: CPU time limit exceeded, terminating % 255.38/252.49 eprover: CPU time limit exceeded, terminating % 257.42/254.50 eprover: CPU time limit exceeded, terminating % 259.44/256.52 eprover: CPU time limit exceeded, terminating % 261.47/258.53 eprover: CPU time limit exceeded, terminating % 263.53/260.54 eprover: CPU time limit exceeded, terminating % 265.55/262.55 eprover: CPU time limit exceeded, terminating % 267.53/264.56 eprover: CPU time limit exceeded, terminating % 269.60/266.58 eprover: CPU time limit exceeded, terminating % 271.59/268.59 eprover: CPU time limit exceeded, terminating % 273.71/270.60 eprover: CPU time limit exceeded, terminating % 275.73/272.61 eprover: CPU time limit exceeded, terminating % 277.74/274.62 eprover: CPU time limit exceeded, terminating % 279.77/276.64 eprover: CPU time limit exceeded, terminating % 281.83/278.65 eprover: CPU time limit exceeded, terminating % 283.87/280.66 eprover: CPU time limit exceeded, terminating % 285.86/282.67 eprover: CPU time limit exceeded, terminating % 287.98/284.68 eprover: CPU time limit exceeded, terminating % 290.00/286.70 eprover: CPU time limit exceeded, terminating % 292.05/288.71 eprover: CPU time limit exceeded, terminating % 294.08/290.72 eprover: CPU time limit exceeded, terminating % 296.11/292.73 eprover: CPU time limit exceeded, terminating % 298.13/294.74 eprover: CPU time limit exceeded, terminating % 300.06/296.61 eprover: CPU time limit exceeded, terminating % 300.06/296.63 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------