%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB038+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n018.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:40 EDT 2022 % Result : Timeout 285.76s 282.72s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.13 % Problem : SWB038+1 : TPTP v8.1.0. Released v5.2.0. % 0.13/0.13 % Command : run_infinox %s % 0.13/0.35 % Computer : n018.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % 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 : Wed Jun 1 10:55:59 EDT 2022 % 0.13/0.35 % CPUTime : % 2.87/3.04 eprover: CPU time limit exceeded, terminating % 4.84/5.05 eprover: CPU time limit exceeded, terminating % 6.93/7.06 eprover: CPU time limit exceeded, terminating % 8.90/9.07 eprover: CPU time limit exceeded, terminating % 10.99/11.08 eprover: CPU time limit exceeded, terminating % 13.05/13.09 eprover: CPU time limit exceeded, terminating % 15.08/15.10 eprover: CPU time limit exceeded, terminating % 17.11/17.11 eprover: CPU time limit exceeded, terminating % 19.12/19.13 eprover: CPU time limit exceeded, terminating % 21.16/21.14 eprover: CPU time limit exceeded, terminating % 23.19/23.15 eprover: CPU time limit exceeded, terminating % 25.25/25.16 eprover: CPU time limit exceeded, terminating % 27.27/27.17 eprover: CPU time limit exceeded, terminating % 29.32/29.18 eprover: CPU time limit exceeded, terminating % 31.36/31.19 eprover: CPU time limit exceeded, terminating % 33.40/33.21 eprover: CPU time limit exceeded, terminating % 35.42/35.22 eprover: CPU time limit exceeded, terminating % 37.45/37.23 eprover: CPU time limit exceeded, terminating % 39.52/39.24 eprover: CPU time limit exceeded, terminating % 41.49/41.25 eprover: CPU time limit exceeded, terminating % 43.57/43.26 eprover: CPU time limit exceeded, terminating % 45.62/45.28 eprover: CPU time limit exceeded, terminating % 47.66/47.29 eprover: CPU time limit exceeded, terminating % 49.69/49.30 eprover: CPU time limit exceeded, terminating % 51.73/51.31 eprover: CPU time limit exceeded, terminating % 53.76/53.32 eprover: CPU time limit exceeded, terminating % 55.79/55.33 eprover: CPU time limit exceeded, terminating % 57.82/57.35 eprover: CPU time limit exceeded, terminating % 59.85/59.36 eprover: CPU time limit exceeded, terminating % 61.84/61.37 eprover: CPU time limit exceeded, terminating % 63.95/63.38 eprover: CPU time limit exceeded, terminating % 65.97/65.40 eprover: CPU time limit exceeded, terminating % 68.03/67.41 eprover: CPU time limit exceeded, terminating % 70.06/69.42 eprover: CPU time limit exceeded, terminating % 72.09/71.43 eprover: CPU time limit exceeded, terminating % 74.14/73.44 eprover: CPU time limit exceeded, terminating % 76.15/75.46 eprover: CPU time limit exceeded, terminating % 78.18/77.47 eprover: CPU time limit exceeded, terminating % 80.16/79.48 eprover: CPU time limit exceeded, terminating % 82.27/81.49 eprover: CPU time limit exceeded, terminating % 84.31/83.50 eprover: CPU time limit exceeded, terminating % 86.35/85.51 eprover: CPU time limit exceeded, terminating % 88.36/87.52 eprover: CPU time limit exceeded, terminating % 90.42/89.53 eprover: CPU time limit exceeded, terminating % 92.45/91.55 eprover: CPU time limit exceeded, terminating % 94.46/93.56 eprover: CPU time limit exceeded, terminating % 96.49/95.57 eprover: CPU time limit exceeded, terminating % 98.53/97.58 eprover: CPU time limit exceeded, terminating % 100.60/99.59 eprover: CPU time limit exceeded, terminating % 102.64/101.60 eprover: CPU time limit exceeded, terminating % 104.59/103.62 eprover: CPU time limit exceeded, terminating % 106.71/105.63 eprover: CPU time limit exceeded, terminating % 108.73/107.64 eprover: CPU time limit exceeded, terminating % 110.78/109.65 eprover: CPU time limit exceeded, terminating % 112.79/111.66 eprover: CPU time limit exceeded, terminating % 114.85/113.67 eprover: CPU time limit exceeded, terminating % 116.83/115.68 eprover: CPU time limit exceeded, terminating % 118.88/117.70 eprover: CPU time limit exceeded, terminating % 120.97/119.71 eprover: CPU time limit exceeded, terminating % 122.97/121.72 eprover: CPU time limit exceeded, terminating % 125.04/123.73 eprover: CPU time limit exceeded, terminating % 127.03/125.74 eprover: CPU time limit exceeded, terminating % 129.12/127.76 eprover: CPU time limit exceeded, terminating % 131.09/129.77 eprover: CPU time limit exceeded, terminating % 133.19/131.78 eprover: CPU time limit exceeded, terminating % 135.16/133.79 eprover: CPU time limit exceeded, terminating % 137.26/135.80 eprover: CPU time limit exceeded, terminating % 139.30/137.82 eprover: CPU time limit exceeded, terminating % 141.30/139.83 eprover: CPU time limit exceeded, terminating % 143.30/141.84 eprover: CPU time limit exceeded, terminating % 145.38/143.85 eprover: CPU time limit exceeded, terminating % 147.41/145.86 eprover: CPU time limit exceeded, terminating % 149.42/147.87 eprover: CPU time limit exceeded, terminating % 151.47/149.88 eprover: CPU time limit exceeded, terminating % 153.47/151.90 eprover: CPU time limit exceeded, terminating % 155.58/153.91 eprover: CPU time limit exceeded, terminating % 157.61/155.92 eprover: CPU time limit exceeded, terminating % 159.65/157.93 eprover: CPU time limit exceeded, terminating % 161.65/159.94 eprover: CPU time limit exceeded, terminating % 163.73/161.96 eprover: CPU time limit exceeded, terminating % 165.72/163.97 eprover: CPU time limit exceeded, terminating % 167.74/165.98 eprover: CPU time limit exceeded, terminating % 169.79/167.99 eprover: CPU time limit exceeded, terminating % 171.89/170.00 eprover: CPU time limit exceeded, terminating % 173.91/172.01 eprover: CPU time limit exceeded, terminating % 175.94/174.02 eprover: CPU time limit exceeded, terminating % 177.97/176.04 eprover: CPU time limit exceeded, terminating % 179.95/178.05 eprover: CPU time limit exceeded, terminating % 181.99/180.06 eprover: CPU time limit exceeded, terminating % 184.07/182.07 eprover: CPU time limit exceeded, terminating % 186.13/184.08 eprover: CPU time limit exceeded, terminating % 188.09/186.09 eprover: CPU time limit exceeded, terminating % 190.15/188.10 eprover: CPU time limit exceeded, terminating % 192.24/190.12 eprover: CPU time limit exceeded, terminating % 194.30/192.13 eprover: CPU time limit exceeded, terminating % 196.30/194.14 eprover: CPU time limit exceeded, terminating % 198.31/196.15 eprover: CPU time limit exceeded, terminating % 200.29/198.16 eprover: CPU time limit exceeded, terminating % 202.37/200.17 eprover: CPU time limit exceeded, terminating % 204.45/202.19 eprover: CPU time limit exceeded, terminating % 206.50/204.20 eprover: CPU time limit exceeded, terminating % 208.49/206.21 eprover: CPU time limit exceeded, terminating % 210.55/208.22 eprover: CPU time limit exceeded, terminating % 212.61/210.23 eprover: CPU time limit exceeded, terminating % 214.60/212.25 eprover: CPU time limit exceeded, terminating % 216.64/214.26 eprover: CPU time limit exceeded, terminating % 218.69/216.27 eprover: CPU time limit exceeded, terminating % 220.75/218.28 eprover: CPU time limit exceeded, terminating % 222.77/220.29 eprover: CPU time limit exceeded, terminating % 224.81/222.30 eprover: CPU time limit exceeded, terminating % 226.85/224.31 eprover: CPU time limit exceeded, terminating % 228.89/226.33 eprover: CPU time limit exceeded, terminating % 230.89/228.34 eprover: CPU time limit exceeded, terminating % 232.98/230.35 eprover: CPU time limit exceeded, terminating % 234.96/232.36 eprover: CPU time limit exceeded, terminating % 237.02/234.37 eprover: CPU time limit exceeded, terminating % 239.03/236.39 eprover: CPU time limit exceeded, terminating % 241.06/238.40 eprover: CPU time limit exceeded, terminating % 243.13/240.41 eprover: CPU time limit exceeded, terminating % 245.16/242.42 eprover: CPU time limit exceeded, terminating % 247.20/244.43 eprover: CPU time limit exceeded, terminating % 249.24/246.44 eprover: CPU time limit exceeded, terminating % 251.27/248.45 eprover: CPU time limit exceeded, terminating % 253.25/250.46 eprover: CPU time limit exceeded, terminating % 255.30/252.47 eprover: CPU time limit exceeded, terminating % 257.36/254.48 eprover: CPU time limit exceeded, terminating % 259.35/256.49 eprover: CPU time limit exceeded, terminating % 261.42/258.50 eprover: CPU time limit exceeded, terminating % 263.45/260.55 eprover: CPU time limit exceeded, terminating % 265.50/262.56 eprover: CPU time limit exceeded, terminating % 267.51/264.62 eprover: CPU time limit exceeded, terminating % 269.55/266.63 eprover: CPU time limit exceeded, terminating % 271.58/268.64 eprover: CPU time limit exceeded, terminating % 273.57/270.65 eprover: CPU time limit exceeded, terminating % 275.66/272.67 eprover: CPU time limit exceeded, terminating % 277.62/274.68 eprover: CPU time limit exceeded, terminating % 279.68/276.69 eprover: CPU time limit exceeded, terminating % 281.76/278.70 eprover: CPU time limit exceeded, terminating % 283.81/280.71 eprover: CPU time limit exceeded, terminating % 285.76/282.72 eprover: CPU time limit exceeded, terminating % 287.87/284.73 eprover: CPU time limit exceeded, terminating % 289.90/286.74 eprover: CPU time limit exceeded, terminating % 291.91/288.75 eprover: CPU time limit exceeded, terminating % 293.92/290.76 eprover: CPU time limit exceeded, terminating % 296.01/292.77 eprover: CPU time limit exceeded, terminating % 297.99/294.78 eprover: CPU time limit exceeded, terminating % 300.02/296.73 eprover: CPU time limit exceeded, terminating % 300.02/296.74 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------