%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB055+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n029.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.37s 280.34s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : SWB055+1 : TPTP v8.1.0. Released v5.2.0. % 0.06/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n029.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 1 05:50:45 EDT 2022 % 0.12/0.33 % CPUTime : % 2.84/3.01 eprover: CPU time limit exceeded, terminating % 4.85/5.02 eprover: CPU time limit exceeded, terminating % 6.90/7.03 eprover: CPU time limit exceeded, terminating % 8.89/9.04 eprover: CPU time limit exceeded, terminating % 10.92/11.04 eprover: CPU time limit exceeded, terminating % 12.95/13.05 eprover: CPU time limit exceeded, terminating % 15.01/15.06 eprover: CPU time limit exceeded, terminating % 17.02/17.07 eprover: CPU time limit exceeded, terminating % 19.07/19.08 eprover: CPU time limit exceeded, terminating % 21.06/21.09 eprover: CPU time limit exceeded, terminating % 23.16/23.10 eprover: CPU time limit exceeded, terminating % 25.19/25.11 eprover: CPU time limit exceeded, terminating % 27.23/27.12 eprover: CPU time limit exceeded, terminating % 29.24/29.13 eprover: CPU time limit exceeded, terminating % 31.29/31.14 eprover: CPU time limit exceeded, terminating % 33.29/33.16 eprover: CPU time limit exceeded, terminating % 35.32/35.17 eprover: CPU time limit exceeded, terminating % 37.36/37.18 eprover: CPU time limit exceeded, terminating % 39.36/39.18 eprover: CPU time limit exceeded, terminating % 41.47/41.19 eprover: CPU time limit exceeded, terminating % 43.43/43.20 eprover: CPU time limit exceeded, terminating % 45.55/45.21 eprover: CPU time limit exceeded, terminating % 47.54/47.22 eprover: CPU time limit exceeded, terminating % 49.57/49.23 eprover: CPU time limit exceeded, terminating % 51.61/51.24 eprover: CPU time limit exceeded, terminating % 53.62/53.25 eprover: CPU time limit exceeded, terminating % 55.67/55.26 eprover: CPU time limit exceeded, terminating % 57.68/57.27 eprover: CPU time limit exceeded, terminating % 59.71/59.28 eprover: CPU time limit exceeded, terminating % 61.73/61.29 eprover: CPU time limit exceeded, terminating % 65.65/63.30 eprover: CPU time limit exceeded, terminating % 67.78/65.31 eprover: CPU time limit exceeded, terminating % 69.82/67.32 eprover: CPU time limit exceeded, terminating % 71.83/69.32 eprover: CPU time limit exceeded, terminating % 73.83/71.33 eprover: CPU time limit exceeded, terminating % 75.88/73.34 eprover: CPU time limit exceeded, terminating % 77.92/75.35 eprover: CPU time limit exceeded, terminating % 79.91/77.36 eprover: CPU time limit exceeded, terminating % 81.98/79.38 eprover: CPU time limit exceeded, terminating % 83.99/81.39 eprover: CPU time limit exceeded, terminating % 86.09/83.40 eprover: CPU time limit exceeded, terminating % 88.11/85.41 eprover: CPU time limit exceeded, terminating % 90.16/87.42 eprover: CPU time limit exceeded, terminating % 92.18/89.43 eprover: CPU time limit exceeded, terminating % 94.19/91.44 eprover: CPU time limit exceeded, terminating % 96.22/93.44 eprover: CPU time limit exceeded, terminating % 98.27/95.45 eprover: CPU time limit exceeded, terminating % 100.25/97.46 eprover: CPU time limit exceeded, terminating % 102.30/99.47 eprover: CPU time limit exceeded, terminating % 104.34/101.48 eprover: CPU time limit exceeded, terminating % 106.35/103.49 eprover: CPU time limit exceeded, terminating % 108.44/105.50 eprover: CPU time limit exceeded, terminating % 110.49/107.51 eprover: CPU time limit exceeded, terminating % 112.53/109.52 eprover: CPU time limit exceeded, terminating % 114.55/111.53 eprover: CPU time limit exceeded, terminating % 116.57/113.54 eprover: CPU time limit exceeded, terminating % 118.56/115.55 eprover: CPU time limit exceeded, terminating % 120.62/117.56 eprover: CPU time limit exceeded, terminating % 122.67/119.57 eprover: CPU time limit exceeded, terminating % 124.67/121.58 eprover: CPU time limit exceeded, terminating % 126.77/123.59 eprover: CPU time limit exceeded, terminating % 128.80/125.60 eprover: CPU time limit exceeded, terminating % 130.76/127.60 eprover: CPU time limit exceeded, terminating % 132.86/129.61 eprover: CPU time limit exceeded, terminating % 134.90/131.62 eprover: CPU time limit exceeded, terminating % 136.93/133.63 eprover: CPU time limit exceeded, terminating % 138.95/135.64 eprover: CPU time limit exceeded, terminating % 140.95/137.65 eprover: CPU time limit exceeded, terminating % 142.96/139.66 eprover: CPU time limit exceeded, terminating % 145.03/141.67 eprover: CPU time limit exceeded, terminating % 147.03/143.68 eprover: CPU time limit exceeded, terminating % 149.12/145.69 eprover: CPU time limit exceeded, terminating % 151.15/147.70 eprover: CPU time limit exceeded, terminating % 153.11/149.71 eprover: CPU time limit exceeded, terminating % 155.25/151.72 eprover: CPU time limit exceeded, terminating % 157.24/153.73 eprover: CPU time limit exceeded, terminating % 159.32/155.74 eprover: CPU time limit exceeded, terminating % 161.29/157.75 eprover: CPU time limit exceeded, terminating % 163.35/159.76 eprover: CPU time limit exceeded, terminating % 165.37/161.77 eprover: CPU time limit exceeded, terminating % 167.38/163.78 eprover: CPU time limit exceeded, terminating % 169.37/165.78 eprover: CPU time limit exceeded, terminating % 171.51/167.79 eprover: CPU time limit exceeded, terminating % 173.55/169.80 eprover: CPU time limit exceeded, terminating % 175.56/171.81 eprover: CPU time limit exceeded, terminating % 177.60/173.82 eprover: CPU time limit exceeded, terminating % 179.63/175.83 eprover: CPU time limit exceeded, terminating % 181.66/177.84 eprover: CPU time limit exceeded, terminating % 183.68/179.85 eprover: CPU time limit exceeded, terminating % 185.69/181.86 eprover: CPU time limit exceeded, terminating % 187.72/183.87 eprover: CPU time limit exceeded, terminating % 189.83/185.88 eprover: CPU time limit exceeded, terminating % 191.79/187.89 eprover: CPU time limit exceeded, terminating % 193.87/189.90 eprover: CPU time limit exceeded, terminating % 195.92/191.91 eprover: CPU time limit exceeded, terminating % 197.93/193.92 eprover: CPU time limit exceeded, terminating % 199.98/195.93 eprover: CPU time limit exceeded, terminating % 202.01/197.94 eprover: CPU time limit exceeded, terminating % 204.01/199.95 eprover: CPU time limit exceeded, terminating % 206.03/201.96 eprover: CPU time limit exceeded, terminating % 208.08/203.97 eprover: CPU time limit exceeded, terminating % 210.09/205.98 eprover: CPU time limit exceeded, terminating % 212.14/207.99 eprover: CPU time limit exceeded, terminating % 214.23/210.00 eprover: CPU time limit exceeded, terminating % 216.24/212.01 eprover: CPU time limit exceeded, terminating % 218.28/214.02 eprover: CPU time limit exceeded, terminating % 220.29/216.03 eprover: CPU time limit exceeded, terminating % 222.32/218.04 eprover: CPU time limit exceeded, terminating % 224.34/220.05 eprover: CPU time limit exceeded, terminating % 226.37/222.06 eprover: CPU time limit exceeded, terminating % 228.43/224.07 eprover: CPU time limit exceeded, terminating % 230.42/226.08 eprover: CPU time limit exceeded, terminating % 232.46/228.09 eprover: CPU time limit exceeded, terminating % 234.51/230.10 eprover: CPU time limit exceeded, terminating % 236.51/232.11 eprover: CPU time limit exceeded, terminating % 238.62/234.12 eprover: CPU time limit exceeded, terminating % 240.66/236.13 eprover: CPU time limit exceeded, terminating % 242.69/238.14 eprover: CPU time limit exceeded, terminating % 244.71/240.15 eprover: CPU time limit exceeded, terminating % 246.72/242.16 eprover: CPU time limit exceeded, terminating % 248.75/244.17 eprover: CPU time limit exceeded, terminating % 250.81/246.18 eprover: CPU time limit exceeded, terminating % 252.80/248.19 eprover: CPU time limit exceeded, terminating % 254.90/250.20 eprover: CPU time limit exceeded, terminating % 256.94/252.21 eprover: CPU time limit exceeded, terminating % 258.99/254.22 eprover: CPU time limit exceeded, terminating % 260.98/256.23 eprover: CPU time limit exceeded, terminating % 263.02/258.24 eprover: CPU time limit exceeded, terminating % 265.07/260.25 eprover: CPU time limit exceeded, terminating % 267.08/262.26 eprover: CPU time limit exceeded, terminating % 269.08/264.27 eprover: CPU time limit exceeded, terminating % 271.13/266.28 eprover: CPU time limit exceeded, terminating % 273.18/268.29 eprover: CPU time limit exceeded, terminating % 275.25/270.30 eprover: CPU time limit exceeded, terminating % 279.26/272.30 eprover: CPU time limit exceeded, terminating % 281.30/274.31 eprover: CPU time limit exceeded, terminating % 283.33/276.32 eprover: CPU time limit exceeded, terminating % 285.33/278.33 eprover: CPU time limit exceeded, terminating % 287.37/280.34 eprover: CPU time limit exceeded, terminating % 289.40/282.35 eprover: CPU time limit exceeded, terminating % 291.40/284.36 eprover: CPU time limit exceeded, terminating % 293.43/286.37 eprover: CPU time limit exceeded, terminating % 295.48/288.38 eprover: CPU time limit exceeded, terminating % 297.51/290.39 eprover: CPU time limit exceeded, terminating % 299.59/292.40 eprover: CPU time limit exceeded, terminating % 300.03/292.81 eprover: CPU time limit exceeded, terminating % 300.03/292.82 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------