%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB029+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n028.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:39 EDT 2022 % Result : Timeout 287.54s 282.47s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWB029+1 : TPTP v8.1.0. Released v5.2.0. % 0.11/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n028.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 Jun 1 06:23:22 EDT 2022 % 0.13/0.34 % CPUTime : % 2.85/3.02 eprover: CPU time limit exceeded, terminating % 4.89/5.03 eprover: CPU time limit exceeded, terminating % 6.89/7.04 eprover: CPU time limit exceeded, terminating % 8.95/9.05 eprover: CPU time limit exceeded, terminating % 10.96/11.06 eprover: CPU time limit exceeded, terminating % 13.03/13.07 eprover: CPU time limit exceeded, terminating % 14.97/15.08 eprover: CPU time limit exceeded, terminating % 17.11/17.09 eprover: CPU time limit exceeded, terminating % 19.12/19.10 eprover: CPU time limit exceeded, terminating % 21.16/21.11 eprover: CPU time limit exceeded, terminating % 23.19/23.12 eprover: CPU time limit exceeded, terminating % 25.21/25.13 eprover: CPU time limit exceeded, terminating % 27.25/27.14 eprover: CPU time limit exceeded, terminating % 29.27/29.15 eprover: CPU time limit exceeded, terminating % 31.29/31.16 eprover: CPU time limit exceeded, terminating % 33.28/33.17 eprover: CPU time limit exceeded, terminating % 35.33/35.18 eprover: CPU time limit exceeded, terminating % 37.40/37.19 eprover: CPU time limit exceeded, terminating % 39.48/39.20 eprover: CPU time limit exceeded, terminating % 41.49/41.21 eprover: CPU time limit exceeded, terminating % 43.56/43.22 eprover: CPU time limit exceeded, terminating % 45.54/45.23 eprover: CPU time limit exceeded, terminating % 47.63/47.25 eprover: CPU time limit exceeded, terminating % 49.59/49.26 eprover: CPU time limit exceeded, terminating % 51.67/51.27 eprover: CPU time limit exceeded, terminating % 53.66/53.28 eprover: CPU time limit exceeded, terminating % 55.71/55.29 eprover: CPU time limit exceeded, terminating % 57.70/57.30 eprover: CPU time limit exceeded, terminating % 59.81/59.31 eprover: CPU time limit exceeded, terminating % 61.86/61.32 eprover: CPU time limit exceeded, terminating % 63.92/63.33 eprover: CPU time limit exceeded, terminating % 65.95/65.34 eprover: CPU time limit exceeded, terminating % 67.91/67.35 eprover: CPU time limit exceeded, terminating % 69.99/69.36 eprover: CPU time limit exceeded, terminating % 71.97/71.37 eprover: CPU time limit exceeded, terminating % 74.06/73.38 eprover: CPU time limit exceeded, terminating % 76.06/75.39 eprover: CPU time limit exceeded, terminating % 78.13/77.40 eprover: CPU time limit exceeded, terminating % 80.13/79.41 eprover: CPU time limit exceeded, terminating % 82.20/81.42 eprover: CPU time limit exceeded, terminating % 84.25/83.43 eprover: CPU time limit exceeded, terminating % 86.27/85.44 eprover: CPU time limit exceeded, terminating % 88.27/87.45 eprover: CPU time limit exceeded, terminating % 90.30/89.46 eprover: CPU time limit exceeded, terminating % 92.34/91.47 eprover: CPU time limit exceeded, terminating % 94.39/93.48 eprover: CPU time limit exceeded, terminating % 96.39/95.49 eprover: CPU time limit exceeded, terminating % 98.48/97.50 eprover: CPU time limit exceeded, terminating % 100.55/99.51 eprover: CPU time limit exceeded, terminating % 102.56/101.52 eprover: CPU time limit exceeded, terminating % 104.57/103.53 eprover: CPU time limit exceeded, terminating % 106.64/105.54 eprover: CPU time limit exceeded, terminating % 108.61/107.56 eprover: CPU time limit exceeded, terminating % 110.67/109.57 eprover: CPU time limit exceeded, terminating % 112.68/111.58 eprover: CPU time limit exceeded, terminating % 114.73/113.59 eprover: CPU time limit exceeded, terminating % 116.72/115.60 eprover: CPU time limit exceeded, terminating % 118.83/117.61 eprover: CPU time limit exceeded, terminating % 120.88/119.62 eprover: CPU time limit exceeded, terminating % 122.90/121.63 eprover: CPU time limit exceeded, terminating % 124.95/123.64 eprover: CPU time limit exceeded, terminating % 126.92/125.65 eprover: CPU time limit exceeded, terminating % 128.97/127.65 eprover: CPU time limit exceeded, terminating % 131.00/129.66 eprover: CPU time limit exceeded, terminating % 133.01/131.68 eprover: CPU time limit exceeded, terminating % 135.12/133.69 eprover: CPU time limit exceeded, terminating % 137.07/135.69 eprover: CPU time limit exceeded, terminating % 139.11/137.70 eprover: CPU time limit exceeded, terminating % 141.21/139.71 eprover: CPU time limit exceeded, terminating % 143.21/141.72 eprover: CPU time limit exceeded, terminating % 145.24/143.73 eprover: CPU time limit exceeded, terminating % 147.26/145.74 eprover: CPU time limit exceeded, terminating % 149.29/147.76 eprover: CPU time limit exceeded, terminating % 151.28/149.77 eprover: CPU time limit exceeded, terminating % 153.33/151.78 eprover: CPU time limit exceeded, terminating % 155.36/153.79 eprover: CPU time limit exceeded, terminating % 157.47/155.81 eprover: CPU time limit exceeded, terminating % 161.46/157.82 eprover: CPU time limit exceeded, terminating % 163.49/159.83 eprover: CPU time limit exceeded, terminating % 165.54/161.85 eprover: CPU time limit exceeded, terminating % 167.54/163.86 eprover: CPU time limit exceeded, terminating % 169.57/165.88 eprover: CPU time limit exceeded, terminating % 171.66/167.89 eprover: CPU time limit exceeded, terminating % 173.69/169.90 eprover: CPU time limit exceeded, terminating % 175.64/171.91 eprover: CPU time limit exceeded, terminating % 177.76/173.92 eprover: CPU time limit exceeded, terminating % 179.76/175.93 eprover: CPU time limit exceeded, terminating % 181.83/177.94 eprover: CPU time limit exceeded, terminating % 183.82/179.95 eprover: CPU time limit exceeded, terminating % 185.88/181.96 eprover: CPU time limit exceeded, terminating % 187.86/183.97 eprover: CPU time limit exceeded, terminating % 189.97/185.98 eprover: CPU time limit exceeded, terminating % 191.91/187.98 eprover: CPU time limit exceeded, terminating % 194.02/190.00 eprover: CPU time limit exceeded, terminating % 195.97/192.01 eprover: CPU time limit exceeded, terminating % 198.11/194.02 eprover: CPU time limit exceeded, terminating % 200.13/196.03 eprover: CPU time limit exceeded, terminating % 202.14/198.04 eprover: CPU time limit exceeded, terminating % 204.13/200.05 eprover: CPU time limit exceeded, terminating % 206.18/202.06 eprover: CPU time limit exceeded, terminating % 208.26/204.07 eprover: CPU time limit exceeded, terminating % 210.26/206.08 eprover: CPU time limit exceeded, terminating % 212.35/208.09 eprover: CPU time limit exceeded, terminating % 214.39/210.11 eprover: CPU time limit exceeded, terminating % 216.43/212.12 eprover: CPU time limit exceeded, terminating % 218.46/214.13 eprover: CPU time limit exceeded, terminating % 220.46/216.14 eprover: CPU time limit exceeded, terminating % 222.46/218.15 eprover: CPU time limit exceeded, terminating % 224.52/220.16 eprover: CPU time limit exceeded, terminating % 226.59/222.17 eprover: CPU time limit exceeded, terminating % 228.56/224.18 eprover: CPU time limit exceeded, terminating % 230.59/226.19 eprover: CPU time limit exceeded, terminating % 232.61/228.20 eprover: CPU time limit exceeded, terminating % 234.71/230.21 eprover: CPU time limit exceeded, terminating % 236.75/232.23 eprover: CPU time limit exceeded, terminating % 238.76/234.24 eprover: CPU time limit exceeded, terminating % 240.77/236.25 eprover: CPU time limit exceeded, terminating % 242.80/238.26 eprover: CPU time limit exceeded, terminating % 244.86/240.27 eprover: CPU time limit exceeded, terminating % 246.86/242.28 eprover: CPU time limit exceeded, terminating % 248.96/244.29 eprover: CPU time limit exceeded, terminating % 250.99/246.30 eprover: CPU time limit exceeded, terminating % 253.02/248.31 eprover: CPU time limit exceeded, terminating % 255.04/250.32 eprover: CPU time limit exceeded, terminating % 257.09/252.33 eprover: CPU time limit exceeded, terminating % 259.10/254.34 eprover: CPU time limit exceeded, terminating % 261.12/256.35 eprover: CPU time limit exceeded, terminating % 263.12/258.36 eprover: CPU time limit exceeded, terminating % 265.16/260.37 eprover: CPU time limit exceeded, terminating % 267.20/262.37 eprover: CPU time limit exceeded, terminating % 269.29/264.38 eprover: CPU time limit exceeded, terminating % 271.24/266.39 eprover: CPU time limit exceeded, terminating % 273.28/268.40 eprover: CPU time limit exceeded, terminating % 275.37/270.41 eprover: CPU time limit exceeded, terminating % 277.39/272.42 eprover: CPU time limit exceeded, terminating % 279.42/274.43 eprover: CPU time limit exceeded, terminating % 281.47/276.44 eprover: CPU time limit exceeded, terminating % 283.47/278.45 eprover: CPU time limit exceeded, terminating % 285.50/280.46 eprover: CPU time limit exceeded, terminating % 287.54/282.47 eprover: CPU time limit exceeded, terminating % 289.56/284.48 eprover: CPU time limit exceeded, terminating % 291.64/286.49 eprover: CPU time limit exceeded, terminating % 293.59/288.50 eprover: CPU time limit exceeded, terminating % 295.63/290.51 eprover: CPU time limit exceeded, terminating % 297.73/292.52 eprover: CPU time limit exceeded, terminating % 299.74/294.52 eprover: CPU time limit exceeded, terminating % 300.04/294.78 eprover: CPU time limit exceeded, terminating % 300.04/294.80 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------