%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV423-1.300 : TPTP v8.1.0. Released v3.5.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 : Wed Jul 20 18:50:01 EDT 2022 % Result : Timeout 287.47s 284.61s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWV423-1.300 : TPTP v8.1.0. Released v3.5.0. % 0.03/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n028.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Wed Jun 15 23:59:40 EDT 2022 % 0.12/0.33 % CPUTime : % 2.69/2.84 eprover: CPU time limit exceeded, terminating % 4.63/4.85 eprover: CPU time limit exceeded, terminating % 6.72/6.86 eprover: CPU time limit exceeded, terminating % 8.71/8.87 eprover: CPU time limit exceeded, terminating % 10.81/10.89 eprover: CPU time limit exceeded, terminating % 12.78/12.90 eprover: CPU time limit exceeded, terminating % 14.80/14.92 eprover: CPU time limit exceeded, terminating % 16.88/16.93 eprover: CPU time limit exceeded, terminating % 18.91/18.95 eprover: CPU time limit exceeded, terminating % 20.97/20.97 eprover: CPU time limit exceeded, terminating % 22.95/22.98 eprover: CPU time limit exceeded, terminating % 25.06/25.00 eprover: CPU time limit exceeded, terminating % 27.10/27.02 eprover: CPU time limit exceeded, terminating % 29.14/29.03 eprover: CPU time limit exceeded, terminating % 31.13/31.04 eprover: CPU time limit exceeded, terminating % 33.16/33.05 eprover: CPU time limit exceeded, terminating % 35.19/35.07 eprover: CPU time limit exceeded, terminating % 37.28/37.09 eprover: CPU time limit exceeded, terminating % 39.30/39.10 eprover: CPU time limit exceeded, terminating % 41.34/41.13 eprover: CPU time limit exceeded, terminating % 43.34/43.14 eprover: CPU time limit exceeded, terminating % 45.40/45.15 eprover: CPU time limit exceeded, terminating % 47.39/47.17 eprover: CPU time limit exceeded, terminating % 49.48/49.18 eprover: CPU time limit exceeded, terminating % 51.42/51.20 eprover: CPU time limit exceeded, terminating % 53.54/53.21 eprover: CPU time limit exceeded, terminating % 55.58/55.22 eprover: CPU time limit exceeded, terminating % 57.62/57.24 eprover: CPU time limit exceeded, terminating % 59.61/59.25 eprover: CPU time limit exceeded, terminating % 61.64/61.27 eprover: CPU time limit exceeded, terminating % 63.69/63.28 eprover: CPU time limit exceeded, terminating % 65.77/65.31 eprover: CPU time limit exceeded, terminating % 67.77/67.32 eprover: CPU time limit exceeded, terminating % 69.81/69.34 eprover: CPU time limit exceeded, terminating % 71.87/71.35 eprover: CPU time limit exceeded, terminating % 73.86/73.36 eprover: CPU time limit exceeded, terminating % 75.91/75.37 eprover: CPU time limit exceeded, terminating % 78.00/77.38 eprover: CPU time limit exceeded, terminating % 79.93/79.40 eprover: CPU time limit exceeded, terminating % 82.03/81.43 eprover: CPU time limit exceeded, terminating % 84.06/83.44 eprover: CPU time limit exceeded, terminating % 86.06/85.45 eprover: CPU time limit exceeded, terminating % 88.07/87.47 eprover: CPU time limit exceeded, terminating % 90.13/89.49 eprover: CPU time limit exceeded, terminating % 92.23/91.50 eprover: CPU time limit exceeded, terminating % 94.23/93.51 eprover: CPU time limit exceeded, terminating % 96.30/95.52 eprover: CPU time limit exceeded, terminating % 98.31/97.53 eprover: CPU time limit exceeded, terminating % 100.32/99.54 eprover: CPU time limit exceeded, terminating % 102.34/101.55 eprover: CPU time limit exceeded, terminating % 104.40/103.57 eprover: CPU time limit exceeded, terminating % 106.38/105.58 eprover: CPU time limit exceeded, terminating % 108.43/107.59 eprover: CPU time limit exceeded, terminating % 110.47/109.60 eprover: CPU time limit exceeded, terminating % 112.56/111.61 eprover: CPU time limit exceeded, terminating % 114.57/113.62 eprover: CPU time limit exceeded, terminating % 116.61/115.63 eprover: CPU time limit exceeded, terminating % 118.67/117.64 eprover: CPU time limit exceeded, terminating % 120.67/119.65 eprover: CPU time limit exceeded, terminating % 122.71/121.67 eprover: CPU time limit exceeded, terminating % 124.73/123.68 eprover: CPU time limit exceeded, terminating % 126.74/125.69 eprover: CPU time limit exceeded, terminating % 128.86/127.70 eprover: CPU time limit exceeded, terminating % 130.91/129.71 eprover: CPU time limit exceeded, terminating % 132.94/131.72 eprover: CPU time limit exceeded, terminating % 134.93/133.73 eprover: CPU time limit exceeded, terminating % 136.98/135.74 eprover: CPU time limit exceeded, terminating % 139.01/137.75 eprover: CPU time limit exceeded, terminating % 141.00/139.77 eprover: CPU time limit exceeded, terminating % 143.06/141.78 eprover: CPU time limit exceeded, terminating % 145.08/143.79 eprover: CPU time limit exceeded, terminating % 147.18/145.80 eprover: CPU time limit exceeded, terminating % 149.22/147.81 eprover: CPU time limit exceeded, terminating % 151.24/149.83 eprover: CPU time limit exceeded, terminating % 153.28/151.84 eprover: CPU time limit exceeded, terminating % 155.32/153.85 eprover: CPU time limit exceeded, terminating % 157.32/155.86 eprover: CPU time limit exceeded, terminating % 159.37/157.87 eprover: CPU time limit exceeded, terminating % 161.39/159.88 eprover: CPU time limit exceeded, terminating % 163.50/161.89 eprover: CPU time limit exceeded, terminating % 165.52/163.90 eprover: CPU time limit exceeded, terminating % 167.55/165.91 eprover: CPU time limit exceeded, terminating % 169.58/167.93 eprover: CPU time limit exceeded, terminating % 171.59/169.94 eprover: CPU time limit exceeded, terminating % 173.64/171.95 eprover: CPU time limit exceeded, terminating % 175.66/173.96 eprover: CPU time limit exceeded, terminating % 177.66/175.97 eprover: CPU time limit exceeded, terminating % 179.69/177.98 eprover: CPU time limit exceeded, terminating % 181.73/179.99 eprover: CPU time limit exceeded, terminating % 183.84/182.00 eprover: CPU time limit exceeded, terminating % 185.87/184.01 eprover: CPU time limit exceeded, terminating % 187.92/186.02 eprover: CPU time limit exceeded, terminating % 189.94/188.03 eprover: CPU time limit exceeded, terminating % 191.94/190.04 eprover: CPU time limit exceeded, terminating % 193.98/192.05 eprover: CPU time limit exceeded, terminating % 196.04/194.06 eprover: CPU time limit exceeded, terminating % 198.03/196.07 eprover: CPU time limit exceeded, terminating % 200.06/198.08 eprover: CPU time limit exceeded, terminating % 202.14/200.09 eprover: CPU time limit exceeded, terminating % 204.08/202.10 eprover: CPU time limit exceeded, terminating % 206.18/204.11 eprover: CPU time limit exceeded, terminating % 208.22/206.12 eprover: CPU time limit exceeded, terminating % 210.27/208.13 eprover: CPU time limit exceeded, terminating % 212.28/210.14 eprover: CPU time limit exceeded, terminating % 214.24/212.16 eprover: CPU time limit exceeded, terminating % 216.30/214.17 eprover: CPU time limit exceeded, terminating % 218.38/216.18 eprover: CPU time limit exceeded, terminating % 220.34/218.19 eprover: CPU time limit exceeded, terminating % 222.42/220.20 eprover: CPU time limit exceeded, terminating % 224.43/222.21 eprover: CPU time limit exceeded, terminating % 226.49/224.21 eprover: CPU time limit exceeded, terminating % 228.50/226.22 eprover: CPU time limit exceeded, terminating % 230.52/228.24 eprover: CPU time limit exceeded, terminating % 232.53/230.25 eprover: CPU time limit exceeded, terminating % 234.59/232.26 eprover: CPU time limit exceeded, terminating % 236.55/234.27 eprover: CPU time limit exceeded, terminating % 238.63/236.27 eprover: CPU time limit exceeded, terminating % 240.70/238.28 eprover: CPU time limit exceeded, terminating % 242.74/240.29 eprover: CPU time limit exceeded, terminating % 244.76/242.30 eprover: CPU time limit exceeded, terminating % 246.79/244.31 eprover: CPU time limit exceeded, terminating % 248.84/246.32 eprover: CPU time limit exceeded, terminating % 250.85/248.33 eprover: CPU time limit exceeded, terminating % 252.89/250.34 eprover: CPU time limit exceeded, terminating % 254.94/252.35 eprover: CPU time limit exceeded, terminating % 256.94/254.36 eprover: CPU time limit exceeded, terminating % 259.01/256.38 eprover: CPU time limit exceeded, terminating % 261.03/258.40 eprover: CPU time limit exceeded, terminating % 263.05/260.41 eprover: CPU time limit exceeded, terminating % 265.11/262.43 eprover: CPU time limit exceeded, terminating % 267.13/264.44 eprover: CPU time limit exceeded, terminating % 269.14/266.45 eprover: CPU time limit exceeded, terminating % 271.14/268.47 eprover: CPU time limit exceeded, terminating % 273.19/270.48 eprover: CPU time limit exceeded, terminating % 275.26/272.51 eprover: CPU time limit exceeded, terminating % 277.23/274.52 eprover: CPU time limit exceeded, terminating % 279.29/276.55 eprover: CPU time limit exceeded, terminating % 281.34/278.56 eprover: CPU time limit exceeded, terminating % 283.39/280.58 eprover: CPU time limit exceeded, terminating % 285.44/282.60 eprover: CPU time limit exceeded, terminating % 287.47/284.61 eprover: CPU time limit exceeded, terminating % 289.45/286.62 eprover: CPU time limit exceeded, terminating % 291.51/288.64 eprover: CPU time limit exceeded, terminating % 293.51/290.66 eprover: CPU time limit exceeded, terminating % 295.56/292.67 eprover: CPU time limit exceeded, terminating % 297.64/294.68 eprover: CPU time limit exceeded, terminating % 299.63/296.69 eprover: CPU time limit exceeded, terminating % 300.04/297.06 eprover: CPU time limit exceeded, terminating % 300.04/297.07 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------