%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB041+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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 287.55s 284.68s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.09 % Problem : SWB041+1 : TPTP v8.1.0. Released v5.2.0. % 0.00/0.09 % Command : run_infinox %s % 0.09/0.29 % Computer : n020.cluster.edu % 0.09/0.29 % Model : x86_64 x86_64 % 0.09/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.09/0.29 % Memory : 8042.1875MB % 0.09/0.29 % OS : Linux 3.10.0-693.el7.x86_64 % 0.09/0.29 % CPULimit : 300 % 0.09/0.29 % WCLimit : 600 % 0.09/0.29 % DateTime : Wed Jun 1 01:11:53 EDT 2022 % 0.09/0.29 % CPUTime : % 3.03/3.25 eprover: CPU time limit exceeded, terminating % 5.04/5.26 eprover: CPU time limit exceeded, terminating % 7.08/7.27 eprover: CPU time limit exceeded, terminating % 9.11/9.27 eprover: CPU time limit exceeded, terminating % 11.12/11.28 eprover: CPU time limit exceeded, terminating % 13.19/13.29 eprover: CPU time limit exceeded, terminating % 15.25/15.30 eprover: CPU time limit exceeded, terminating % 17.21/17.31 eprover: CPU time limit exceeded, terminating % 19.31/19.32 eprover: CPU time limit exceeded, terminating % 21.31/21.33 eprover: CPU time limit exceeded, terminating % 23.31/23.33 eprover: CPU time limit exceeded, terminating % 25.37/25.34 eprover: CPU time limit exceeded, terminating % 27.42/27.36 eprover: CPU time limit exceeded, terminating % 29.40/29.36 eprover: CPU time limit exceeded, terminating % 31.44/31.42 eprover: CPU time limit exceeded, terminating % 33.49/33.44 eprover: CPU time limit exceeded, terminating % 35.54/35.45 eprover: CPU time limit exceeded, terminating % 37.57/37.46 eprover: CPU time limit exceeded, terminating % 39.59/39.47 eprover: CPU time limit exceeded, terminating % 41.63/41.49 eprover: CPU time limit exceeded, terminating % 43.66/43.50 eprover: CPU time limit exceeded, terminating % 45.62/45.51 eprover: CPU time limit exceeded, terminating % 47.71/47.52 eprover: CPU time limit exceeded, terminating % 49.73/49.53 eprover: CPU time limit exceeded, terminating % 51.75/51.54 eprover: CPU time limit exceeded, terminating % 53.81/53.56 eprover: CPU time limit exceeded, terminating % 55.84/55.57 eprover: CPU time limit exceeded, terminating % 57.87/57.58 eprover: CPU time limit exceeded, terminating % 59.86/59.59 eprover: CPU time limit exceeded, terminating % 61.92/61.60 eprover: CPU time limit exceeded, terminating % 63.94/63.61 eprover: CPU time limit exceeded, terminating % 65.93/65.62 eprover: CPU time limit exceeded, terminating % 67.99/67.63 eprover: CPU time limit exceeded, terminating % 70.03/69.64 eprover: CPU time limit exceeded, terminating % 72.07/71.65 eprover: CPU time limit exceeded, terminating % 74.04/73.66 eprover: CPU time limit exceeded, terminating % 76.14/75.66 eprover: CPU time limit exceeded, terminating % 78.16/77.67 eprover: CPU time limit exceeded, terminating % 80.20/79.68 eprover: CPU time limit exceeded, terminating % 82.25/81.69 eprover: CPU time limit exceeded, terminating % 84.29/83.70 eprover: CPU time limit exceeded, terminating % 86.28/85.71 eprover: CPU time limit exceeded, terminating % 88.32/87.72 eprover: CPU time limit exceeded, terminating % 90.35/89.73 eprover: CPU time limit exceeded, terminating % 92.40/91.74 eprover: CPU time limit exceeded, terminating % 94.37/93.75 eprover: CPU time limit exceeded, terminating % 96.44/95.75 eprover: CPU time limit exceeded, terminating % 98.48/97.76 eprover: CPU time limit exceeded, terminating % 100.52/99.77 eprover: CPU time limit exceeded, terminating % 102.56/101.78 eprover: CPU time limit exceeded, terminating % 104.56/103.79 eprover: CPU time limit exceeded, terminating % 106.63/105.80 eprover: CPU time limit exceeded, terminating % 108.65/107.81 eprover: CPU time limit exceeded, terminating % 110.71/109.81 eprover: CPU time limit exceeded, terminating % 112.73/111.82 eprover: CPU time limit exceeded, terminating % 114.73/113.83 eprover: CPU time limit exceeded, terminating % 116.77/115.84 eprover: CPU time limit exceeded, terminating % 118.84/117.85 eprover: CPU time limit exceeded, terminating % 120.78/119.86 eprover: CPU time limit exceeded, terminating % 122.87/121.87 eprover: CPU time limit exceeded, terminating % 124.88/123.88 eprover: CPU time limit exceeded, terminating % 126.94/125.89 eprover: CPU time limit exceeded, terminating % 128.99/127.90 eprover: CPU time limit exceeded, terminating % 131.03/129.91 eprover: CPU time limit exceeded, terminating % 133.02/131.92 eprover: CPU time limit exceeded, terminating % 135.09/133.93 eprover: CPU time limit exceeded, terminating % 137.12/135.94 eprover: CPU time limit exceeded, terminating % 139.13/137.95 eprover: CPU time limit exceeded, terminating % 141.19/139.96 eprover: CPU time limit exceeded, terminating % 143.20/141.97 eprover: CPU time limit exceeded, terminating % 145.26/143.97 eprover: CPU time limit exceeded, terminating % 147.25/145.98 eprover: CPU time limit exceeded, terminating % 149.31/147.99 eprover: CPU time limit exceeded, terminating % 151.33/150.00 eprover: CPU time limit exceeded, terminating % 153.41/152.01 eprover: CPU time limit exceeded, terminating % 155.40/154.02 eprover: CPU time limit exceeded, terminating % 157.46/156.03 eprover: CPU time limit exceeded, terminating % 159.51/158.04 eprover: CPU time limit exceeded, terminating % 161.49/160.05 eprover: CPU time limit exceeded, terminating % 163.52/162.06 eprover: CPU time limit exceeded, terminating % 165.62/164.07 eprover: CPU time limit exceeded, terminating % 167.58/166.08 eprover: CPU time limit exceeded, terminating % 169.66/168.09 eprover: CPU time limit exceeded, terminating % 171.64/170.10 eprover: CPU time limit exceeded, terminating % 173.74/172.11 eprover: CPU time limit exceeded, terminating % 175.71/174.12 eprover: CPU time limit exceeded, terminating % 177.78/176.13 eprover: CPU time limit exceeded, terminating % 179.84/178.14 eprover: CPU time limit exceeded, terminating % 181.81/180.15 eprover: CPU time limit exceeded, terminating % 183.89/182.15 eprover: CPU time limit exceeded, terminating % 185.95/184.16 eprover: CPU time limit exceeded, terminating % 187.94/186.17 eprover: CPU time limit exceeded, terminating % 190.02/188.18 eprover: CPU time limit exceeded, terminating % 192.01/190.19 eprover: CPU time limit exceeded, terminating % 194.09/192.20 eprover: CPU time limit exceeded, terminating % 196.06/194.21 eprover: CPU time limit exceeded, terminating % 198.14/196.22 eprover: CPU time limit exceeded, terminating % 200.19/198.23 eprover: CPU time limit exceeded, terminating % 202.16/200.24 eprover: CPU time limit exceeded, terminating % 204.21/202.25 eprover: CPU time limit exceeded, terminating % 206.20/204.26 eprover: CPU time limit exceeded, terminating % 208.27/206.27 eprover: CPU time limit exceeded, terminating % 210.36/208.28 eprover: CPU time limit exceeded, terminating % 212.32/210.29 eprover: CPU time limit exceeded, terminating % 214.43/212.30 eprover: CPU time limit exceeded, terminating % 216.45/214.31 eprover: CPU time limit exceeded, terminating % 218.50/216.32 eprover: CPU time limit exceeded, terminating % 220.53/218.33 eprover: CPU time limit exceeded, terminating % 222.53/220.34 eprover: CPU time limit exceeded, terminating % 224.58/222.35 eprover: CPU time limit exceeded, terminating % 226.58/224.36 eprover: CPU time limit exceeded, terminating % 228.59/226.37 eprover: CPU time limit exceeded, terminating % 230.69/228.37 eprover: CPU time limit exceeded, terminating % 232.66/230.38 eprover: CPU time limit exceeded, terminating % 234.69/232.39 eprover: CPU time limit exceeded, terminating % 236.79/234.40 eprover: CPU time limit exceeded, terminating % 238.81/236.41 eprover: CPU time limit exceeded, terminating % 240.84/238.42 eprover: CPU time limit exceeded, terminating % 242.87/240.43 eprover: CPU time limit exceeded, terminating % 244.90/242.44 eprover: CPU time limit exceeded, terminating % 246.94/244.45 eprover: CPU time limit exceeded, terminating % 248.97/246.46 eprover: CPU time limit exceeded, terminating % 251.01/248.47 eprover: CPU time limit exceeded, terminating % 253.08/250.48 eprover: CPU time limit exceeded, terminating % 255.05/252.49 eprover: CPU time limit exceeded, terminating % 257.14/254.50 eprover: CPU time limit exceeded, terminating % 259.17/256.51 eprover: CPU time limit exceeded, terminating % 261.22/258.52 eprover: CPU time limit exceeded, terminating % 263.24/260.53 eprover: CPU time limit exceeded, terminating % 265.23/262.54 eprover: CPU time limit exceeded, terminating % 267.25/264.54 eprover: CPU time limit exceeded, terminating % 269.27/266.55 eprover: CPU time limit exceeded, terminating % 271.30/268.56 eprover: CPU time limit exceeded, terminating % 273.30/270.57 eprover: CPU time limit exceeded, terminating % 275.33/272.59 eprover: CPU time limit exceeded, terminating % 277.46/274.60 eprover: CPU time limit exceeded, terminating % 279.39/276.61 eprover: CPU time limit exceeded, terminating % 281.51/278.62 eprover: CPU time limit exceeded, terminating % 283.54/280.63 eprover: CPU time limit exceeded, terminating % 285.54/282.65 eprover: CPU time limit exceeded, terminating % 287.55/284.68 eprover: CPU time limit exceeded, terminating % 289.53/286.68 eprover: CPU time limit exceeded, terminating % 291.67/288.69 eprover: CPU time limit exceeded, terminating % 293.61/290.70 eprover: CPU time limit exceeded, terminating % 295.70/292.71 eprover: CPU time limit exceeded, terminating % 297.71/294.72 eprover: CPU time limit exceeded, terminating % 299.77/296.73 eprover: CPU time limit exceeded, terminating % 300.08/297.02 eprover: CPU time limit exceeded, terminating % 300.08/297.03 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------