%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB075+1 : TPTP v8.1.0. Released v5.2.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 : Tue Jul 19 19:04:43 EDT 2022 % Result : Timeout 287.48s 284.37s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWB075+1 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n028.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Wed Jun 1 04:08:07 EDT 2022 % 0.13/0.34 % CPUTime : % 2.84/3.01 eprover: CPU time limit exceeded, terminating % 4.84/5.02 eprover: CPU time limit exceeded, terminating % 6.86/7.03 eprover: CPU time limit exceeded, terminating % 8.92/9.04 eprover: CPU time limit exceeded, terminating % 10.92/11.05 eprover: CPU time limit exceeded, terminating % 13.02/13.06 eprover: CPU time limit exceeded, terminating % 15.04/15.07 eprover: CPU time limit exceeded, terminating % 17.04/17.08 eprover: CPU time limit exceeded, terminating % 19.12/19.09 eprover: CPU time limit exceeded, terminating % 21.09/21.10 eprover: CPU time limit exceeded, terminating % 23.18/23.11 eprover: CPU time limit exceeded, terminating % 25.16/25.12 eprover: CPU time limit exceeded, terminating % 27.23/27.13 eprover: CPU time limit exceeded, terminating % 29.23/29.14 eprover: CPU time limit exceeded, terminating % 31.30/31.15 eprover: CPU time limit exceeded, terminating % 33.35/33.16 eprover: CPU time limit exceeded, terminating % 35.38/35.17 eprover: CPU time limit exceeded, terminating % 37.41/37.18 eprover: CPU time limit exceeded, terminating % 39.46/39.19 eprover: CPU time limit exceeded, terminating % 41.49/41.20 eprover: CPU time limit exceeded, terminating % 43.47/43.21 eprover: CPU time limit exceeded, terminating % 45.52/45.22 eprover: CPU time limit exceeded, terminating % 47.59/47.23 eprover: CPU time limit exceeded, terminating % 49.64/49.24 eprover: CPU time limit exceeded, terminating % 51.60/51.25 eprover: CPU time limit exceeded, terminating % 53.72/53.26 eprover: CPU time limit exceeded, terminating % 55.71/55.27 eprover: CPU time limit exceeded, terminating % 57.74/57.28 eprover: CPU time limit exceeded, terminating % 59.80/59.29 eprover: CPU time limit exceeded, terminating % 61.83/61.30 eprover: CPU time limit exceeded, terminating % 63.82/63.31 eprover: CPU time limit exceeded, terminating % 65.87/65.32 eprover: CPU time limit exceeded, terminating % 67.94/67.33 eprover: CPU time limit exceeded, terminating % 69.93/69.34 eprover: CPU time limit exceeded, terminating % 71.99/71.35 eprover: CPU time limit exceeded, terminating % 74.07/73.36 eprover: CPU time limit exceeded, terminating % 76.09/75.37 eprover: CPU time limit exceeded, terminating % 78.10/77.38 eprover: CPU time limit exceeded, terminating % 80.16/79.39 eprover: CPU time limit exceeded, terminating % 82.17/81.40 eprover: CPU time limit exceeded, terminating % 84.17/83.41 eprover: CPU time limit exceeded, terminating % 86.21/85.42 eprover: CPU time limit exceeded, terminating % 88.27/87.43 eprover: CPU time limit exceeded, terminating % 90.33/89.44 eprover: CPU time limit exceeded, terminating % 92.33/91.45 eprover: CPU time limit exceeded, terminating % 94.41/93.46 eprover: CPU time limit exceeded, terminating % 96.39/95.47 eprover: CPU time limit exceeded, terminating % 98.45/97.48 eprover: CPU time limit exceeded, terminating % 100.50/99.49 eprover: CPU time limit exceeded, terminating % 102.53/101.50 eprover: CPU time limit exceeded, terminating % 104.56/103.51 eprover: CPU time limit exceeded, terminating % 106.57/105.52 eprover: CPU time limit exceeded, terminating % 108.60/107.53 eprover: CPU time limit exceeded, terminating % 110.63/109.54 eprover: CPU time limit exceeded, terminating % 112.68/111.55 eprover: CPU time limit exceeded, terminating % 114.70/113.56 eprover: CPU time limit exceeded, terminating % 116.78/115.58 eprover: CPU time limit exceeded, terminating % 118.79/117.59 eprover: CPU time limit exceeded, terminating % 120.85/119.60 eprover: CPU time limit exceeded, terminating % 122.87/121.61 eprover: CPU time limit exceeded, terminating % 124.85/123.62 eprover: CPU time limit exceeded, terminating % 126.91/125.63 eprover: CPU time limit exceeded, terminating % 128.95/127.64 eprover: CPU time limit exceeded, terminating % 131.01/129.65 eprover: CPU time limit exceeded, terminating % 133.03/131.66 eprover: CPU time limit exceeded, terminating % 135.04/133.67 eprover: CPU time limit exceeded, terminating % 137.12/135.68 eprover: CPU time limit exceeded, terminating % 139.13/137.69 eprover: CPU time limit exceeded, terminating % 141.15/139.70 eprover: CPU time limit exceeded, terminating % 143.23/141.71 eprover: CPU time limit exceeded, terminating % 145.20/143.72 eprover: CPU time limit exceeded, terminating % 147.26/145.73 eprover: CPU time limit exceeded, terminating % 149.33/147.74 eprover: CPU time limit exceeded, terminating % 151.32/149.75 eprover: CPU time limit exceeded, terminating % 153.37/151.76 eprover: CPU time limit exceeded, terminating % 155.36/153.76 eprover: CPU time limit exceeded, terminating % 157.46/155.77 eprover: CPU time limit exceeded, terminating % 159.49/157.78 eprover: CPU time limit exceeded, terminating % 161.49/159.79 eprover: CPU time limit exceeded, terminating % 163.54/161.81 eprover: CPU time limit exceeded, terminating % 165.62/163.82 eprover: CPU time limit exceeded, terminating % 167.61/165.83 eprover: CPU time limit exceeded, terminating % 169.67/167.85 eprover: CPU time limit exceeded, terminating % 171.70/169.86 eprover: CPU time limit exceeded, terminating % 173.75/171.86 eprover: CPU time limit exceeded, terminating % 175.73/173.87 eprover: CPU time limit exceeded, terminating % 177.80/175.89 eprover: CPU time limit exceeded, terminating % 179.83/177.89 eprover: CPU time limit exceeded, terminating % 181.84/179.90 eprover: CPU time limit exceeded, terminating % 183.86/181.91 eprover: CPU time limit exceeded, terminating % 185.94/183.92 eprover: CPU time limit exceeded, terminating % 187.98/185.93 eprover: CPU time limit exceeded, terminating % 189.91/187.94 eprover: CPU time limit exceeded, terminating % 192.04/189.95 eprover: CPU time limit exceeded, terminating % 194.06/191.96 eprover: CPU time limit exceeded, terminating % 196.07/193.97 eprover: CPU time limit exceeded, terminating % 198.12/195.98 eprover: CPU time limit exceeded, terminating % 200.14/197.98 eprover: CPU time limit exceeded, terminating % 202.18/199.99 eprover: CPU time limit exceeded, terminating % 204.18/202.00 eprover: CPU time limit exceeded, terminating % 206.24/204.01 eprover: CPU time limit exceeded, terminating % 208.25/206.02 eprover: CPU time limit exceeded, terminating % 210.24/208.03 eprover: CPU time limit exceeded, terminating % 212.35/210.04 eprover: CPU time limit exceeded, terminating % 214.39/212.05 eprover: CPU time limit exceeded, terminating % 216.39/214.06 eprover: CPU time limit exceeded, terminating % 218.44/216.07 eprover: CPU time limit exceeded, terminating % 220.47/218.07 eprover: CPU time limit exceeded, terminating % 222.50/220.08 eprover: CPU time limit exceeded, terminating % 224.52/222.09 eprover: CPU time limit exceeded, terminating % 226.55/224.10 eprover: CPU time limit exceeded, terminating % 228.55/226.11 eprover: CPU time limit exceeded, terminating % 230.57/228.12 eprover: CPU time limit exceeded, terminating % 232.65/230.13 eprover: CPU time limit exceeded, terminating % 234.68/232.14 eprover: CPU time limit exceeded, terminating % 236.70/234.15 eprover: CPU time limit exceeded, terminating % 238.73/236.16 eprover: CPU time limit exceeded, terminating % 240.79/238.17 eprover: CPU time limit exceeded, terminating % 242.76/240.18 eprover: CPU time limit exceeded, terminating % 244.83/242.19 eprover: CPU time limit exceeded, terminating % 246.85/244.20 eprover: CPU time limit exceeded, terminating % 248.88/246.20 eprover: CPU time limit exceeded, terminating % 250.89/248.21 eprover: CPU time limit exceeded, terminating % 252.96/250.22 eprover: CPU time limit exceeded, terminating % 254.95/252.23 eprover: CPU time limit exceeded, terminating % 257.03/254.24 eprover: CPU time limit exceeded, terminating % 259.05/256.25 eprover: CPU time limit exceeded, terminating % 261.08/258.26 eprover: CPU time limit exceeded, terminating % 263.07/260.27 eprover: CPU time limit exceeded, terminating % 265.14/262.28 eprover: CPU time limit exceeded, terminating % 267.17/264.29 eprover: CPU time limit exceeded, terminating % 269.20/266.29 eprover: CPU time limit exceeded, terminating % 271.22/268.30 eprover: CPU time limit exceeded, terminating % 273.23/270.31 eprover: CPU time limit exceeded, terminating % 275.25/272.32 eprover: CPU time limit exceeded, terminating % 277.28/274.33 eprover: CPU time limit exceeded, terminating % 279.35/276.34 eprover: CPU time limit exceeded, terminating % 281.38/278.35 eprover: CPU time limit exceeded, terminating % 283.40/280.36 eprover: CPU time limit exceeded, terminating % 285.45/282.37 eprover: CPU time limit exceeded, terminating % 287.48/284.37 eprover: CPU time limit exceeded, terminating % 289.52/286.38 eprover: CPU time limit exceeded, terminating % 291.52/288.39 eprover: CPU time limit exceeded, terminating % 293.53/290.40 eprover: CPU time limit exceeded, terminating % 295.55/292.41 eprover: CPU time limit exceeded, terminating % 297.58/294.42 eprover: CPU time limit exceeded, terminating % 299.65/296.43 eprover: CPU time limit exceeded, terminating % 300.09/296.84 eprover: CPU time limit exceeded, terminating % 300.09/296.85 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------