%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB070+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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:42 EDT 2022 % Result : Timeout 287.63s 284.63s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : SWB070+1 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.14 % Command : run_infinox %s % 0.14/0.35 % Computer : n024.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 01:58:22 EDT 2022 % 0.14/0.35 % CPUTime : % 2.85/3.03 eprover: CPU time limit exceeded, terminating % 4.90/5.04 eprover: CPU time limit exceeded, terminating % 6.90/7.06 eprover: CPU time limit exceeded, terminating % 8.94/9.07 eprover: CPU time limit exceeded, terminating % 10.93/11.08 eprover: CPU time limit exceeded, terminating % 13.05/13.09 eprover: CPU time limit exceeded, terminating % 15.10/15.11 eprover: CPU time limit exceeded, terminating % 17.11/17.12 eprover: CPU time limit exceeded, terminating % 19.15/19.13 eprover: CPU time limit exceeded, terminating % 21.17/21.14 eprover: CPU time limit exceeded, terminating % 23.20/23.15 eprover: CPU time limit exceeded, terminating % 25.22/25.17 eprover: CPU time limit exceeded, terminating % 27.26/27.18 eprover: CPU time limit exceeded, terminating % 29.27/29.19 eprover: CPU time limit exceeded, terminating % 31.38/31.20 eprover: CPU time limit exceeded, terminating % 33.40/33.21 eprover: CPU time limit exceeded, terminating % 35.45/35.22 eprover: CPU time limit exceeded, terminating % 37.48/37.24 eprover: CPU time limit exceeded, terminating % 39.47/39.25 eprover: CPU time limit exceeded, terminating % 41.54/41.26 eprover: CPU time limit exceeded, terminating % 43.54/43.27 eprover: CPU time limit exceeded, terminating % 45.64/45.29 eprover: CPU time limit exceeded, terminating % 47.59/47.30 eprover: CPU time limit exceeded, terminating % 49.70/49.31 eprover: CPU time limit exceeded, terminating % 51.75/51.31 eprover: CPU time limit exceeded, terminating % 53.77/53.32 eprover: CPU time limit exceeded, terminating % 55.76/55.33 eprover: CPU time limit exceeded, terminating % 57.80/57.34 eprover: CPU time limit exceeded, terminating % 59.84/59.35 eprover: CPU time limit exceeded, terminating % 61.85/61.36 eprover: CPU time limit exceeded, terminating % 63.87/63.37 eprover: CPU time limit exceeded, terminating % 65.89/65.38 eprover: CPU time limit exceeded, terminating % 67.91/67.39 eprover: CPU time limit exceeded, terminating % 70.03/69.40 eprover: CPU time limit exceeded, terminating % 72.07/71.40 eprover: CPU time limit exceeded, terminating % 74.08/73.41 eprover: CPU time limit exceeded, terminating % 76.10/75.42 eprover: CPU time limit exceeded, terminating % 78.16/77.43 eprover: CPU time limit exceeded, terminating % 80.15/79.44 eprover: CPU time limit exceeded, terminating % 82.15/81.45 eprover: CPU time limit exceeded, terminating % 84.20/83.46 eprover: CPU time limit exceeded, terminating % 86.24/85.47 eprover: CPU time limit exceeded, terminating % 88.24/87.48 eprover: CPU time limit exceeded, terminating % 90.25/89.49 eprover: CPU time limit exceeded, terminating % 92.30/91.49 eprover: CPU time limit exceeded, terminating % 94.39/93.50 eprover: CPU time limit exceeded, terminating % 96.41/95.51 eprover: CPU time limit exceeded, terminating % 98.45/97.52 eprover: CPU time limit exceeded, terminating % 100.49/99.53 eprover: CPU time limit exceeded, terminating % 102.48/101.54 eprover: CPU time limit exceeded, terminating % 104.52/103.55 eprover: CPU time limit exceeded, terminating % 106.55/105.56 eprover: CPU time limit exceeded, terminating % 108.55/107.58 eprover: CPU time limit exceeded, terminating % 110.68/109.59 eprover: CPU time limit exceeded, terminating % 112.62/111.60 eprover: CPU time limit exceeded, terminating % 114.67/113.61 eprover: CPU time limit exceeded, terminating % 116.75/115.62 eprover: CPU time limit exceeded, terminating % 118.81/117.63 eprover: CPU time limit exceeded, terminating % 120.82/119.64 eprover: CPU time limit exceeded, terminating % 122.83/121.65 eprover: CPU time limit exceeded, terminating % 124.90/123.66 eprover: CPU time limit exceeded, terminating % 126.91/125.67 eprover: CPU time limit exceeded, terminating % 128.96/127.68 eprover: CPU time limit exceeded, terminating % 130.98/129.69 eprover: CPU time limit exceeded, terminating % 133.03/131.71 eprover: CPU time limit exceeded, terminating % 135.02/133.72 eprover: CPU time limit exceeded, terminating % 137.06/135.73 eprover: CPU time limit exceeded, terminating % 139.08/137.74 eprover: CPU time limit exceeded, terminating % 141.19/139.75 eprover: CPU time limit exceeded, terminating % 143.22/141.77 eprover: CPU time limit exceeded, terminating % 145.24/143.78 eprover: CPU time limit exceeded, terminating % 147.30/145.79 eprover: CPU time limit exceeded, terminating % 149.29/147.80 eprover: CPU time limit exceeded, terminating % 151.36/149.81 eprover: CPU time limit exceeded, terminating % 153.35/151.82 eprover: CPU time limit exceeded, terminating % 155.39/153.83 eprover: CPU time limit exceeded, terminating % 157.38/155.84 eprover: CPU time limit exceeded, terminating % 159.48/157.85 eprover: CPU time limit exceeded, terminating % 161.52/159.86 eprover: CPU time limit exceeded, terminating % 163.55/161.87 eprover: CPU time limit exceeded, terminating % 165.55/163.88 eprover: CPU time limit exceeded, terminating % 167.57/165.89 eprover: CPU time limit exceeded, terminating % 169.62/167.91 eprover: CPU time limit exceeded, terminating % 171.60/169.92 eprover: CPU time limit exceeded, terminating % 173.72/171.93 eprover: CPU time limit exceeded, terminating % 175.70/173.95 eprover: CPU time limit exceeded, terminating % 177.76/175.96 eprover: CPU time limit exceeded, terminating % 179.77/178.00 eprover: CPU time limit exceeded, terminating % 181.84/180.01 eprover: CPU time limit exceeded, terminating % 183.89/182.04 eprover: CPU time limit exceeded, terminating % 185.91/184.05 eprover: CPU time limit exceeded, terminating % 187.91/186.07 eprover: CPU time limit exceeded, terminating % 189.96/188.08 eprover: CPU time limit exceeded, terminating % 192.02/190.09 eprover: CPU time limit exceeded, terminating % 194.04/192.12 eprover: CPU time limit exceeded, terminating % 196.05/194.13 eprover: CPU time limit exceeded, terminating % 198.11/196.14 eprover: CPU time limit exceeded, terminating % 200.14/198.16 eprover: CPU time limit exceeded, terminating % 202.12/200.17 eprover: CPU time limit exceeded, terminating % 204.18/202.18 eprover: CPU time limit exceeded, terminating % 206.18/204.19 eprover: CPU time limit exceeded, terminating % 208.22/206.20 eprover: CPU time limit exceeded, terminating % 210.26/208.21 eprover: CPU time limit exceeded, terminating % 212.34/210.22 eprover: CPU time limit exceeded, terminating % 214.30/212.23 eprover: CPU time limit exceeded, terminating % 216.34/214.24 eprover: CPU time limit exceeded, terminating % 218.43/216.25 eprover: CPU time limit exceeded, terminating % 220.38/218.27 eprover: CPU time limit exceeded, terminating % 222.47/220.28 eprover: CPU time limit exceeded, terminating % 224.53/222.29 eprover: CPU time limit exceeded, terminating % 226.58/224.30 eprover: CPU time limit exceeded, terminating % 228.60/226.31 eprover: CPU time limit exceeded, terminating % 230.67/228.32 eprover: CPU time limit exceeded, terminating % 232.62/230.33 eprover: CPU time limit exceeded, terminating % 234.72/232.34 eprover: CPU time limit exceeded, terminating % 236.65/234.35 eprover: CPU time limit exceeded, terminating % 238.75/236.36 eprover: CPU time limit exceeded, terminating % 240.80/238.38 eprover: CPU time limit exceeded, terminating % 242.83/240.39 eprover: CPU time limit exceeded, terminating % 244.86/242.40 eprover: CPU time limit exceeded, terminating % 246.88/244.41 eprover: CPU time limit exceeded, terminating % 248.91/246.42 eprover: CPU time limit exceeded, terminating % 250.97/248.43 eprover: CPU time limit exceeded, terminating % 253.03/250.44 eprover: CPU time limit exceeded, terminating % 255.05/252.45 eprover: CPU time limit exceeded, terminating % 257.12/254.46 eprover: CPU time limit exceeded, terminating % 259.14/256.47 eprover: CPU time limit exceeded, terminating % 261.13/258.49 eprover: CPU time limit exceeded, terminating % 263.16/260.50 eprover: CPU time limit exceeded, terminating % 265.22/262.51 eprover: CPU time limit exceeded, terminating % 267.22/264.52 eprover: CPU time limit exceeded, terminating % 269.30/266.53 eprover: CPU time limit exceeded, terminating % 271.36/268.54 eprover: CPU time limit exceeded, terminating % 273.30/270.55 eprover: CPU time limit exceeded, terminating % 275.37/272.56 eprover: CPU time limit exceeded, terminating % 277.43/274.58 eprover: CPU time limit exceeded, terminating % 279.46/276.59 eprover: CPU time limit exceeded, terminating % 281.48/278.60 eprover: CPU time limit exceeded, terminating % 283.52/280.61 eprover: CPU time limit exceeded, terminating % 285.59/282.62 eprover: CPU time limit exceeded, terminating % 287.63/284.63 eprover: CPU time limit exceeded, terminating % 289.60/286.64 eprover: CPU time limit exceeded, terminating % 291.72/288.65 eprover: CPU time limit exceeded, terminating % 293.74/290.67 eprover: CPU time limit exceeded, terminating % 295.74/292.68 eprover: CPU time limit exceeded, terminating % 297.79/294.69 eprover: CPU time limit exceeded, terminating % 299.79/296.70 eprover: CPU time limit exceeded, terminating % 300.12/296.96 eprover: CPU time limit exceeded, terminating % 300.12/296.98 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------