%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB067+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n021.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 285.77s 282.53s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWB067+1 : TPTP v8.1.0. Released v5.2.0. % 0.11/0.12 % Command : run_infinox %s % 0.13/0.33 % Computer : n021.cluster.edu % 0.13/0.33 % Model : x86_64 x86_64 % 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.33 % Memory : 8042.1875MB % 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.33 % CPULimit : 300 % 0.13/0.33 % WCLimit : 600 % 0.13/0.33 % DateTime : Wed Jun 1 08:12:45 EDT 2022 % 0.13/0.33 % CPUTime : % 2.85/3.03 eprover: CPU time limit exceeded, terminating % 4.84/5.04 eprover: CPU time limit exceeded, terminating % 6.89/7.05 eprover: CPU time limit exceeded, terminating % 8.93/9.06 eprover: CPU time limit exceeded, terminating % 10.96/11.07 eprover: CPU time limit exceeded, terminating % 12.96/13.07 eprover: CPU time limit exceeded, terminating % 15.08/15.08 eprover: CPU time limit exceeded, terminating % 17.04/17.09 eprover: CPU time limit exceeded, terminating % 19.07/19.10 eprover: CPU time limit exceeded, terminating % 21.15/21.11 eprover: CPU time limit exceeded, terminating % 23.20/23.12 eprover: CPU time limit exceeded, terminating % 25.21/25.13 eprover: CPU time limit exceeded, terminating % 27.24/27.14 eprover: CPU time limit exceeded, terminating % 29.27/29.15 eprover: CPU time limit exceeded, terminating % 31.27/31.16 eprover: CPU time limit exceeded, terminating % 33.33/33.17 eprover: CPU time limit exceeded, terminating % 35.35/35.18 eprover: CPU time limit exceeded, terminating % 37.45/37.19 eprover: CPU time limit exceeded, terminating % 39.47/39.20 eprover: CPU time limit exceeded, terminating % 41.43/41.21 eprover: CPU time limit exceeded, terminating % 43.53/43.22 eprover: CPU time limit exceeded, terminating % 45.57/45.23 eprover: CPU time limit exceeded, terminating % 47.57/47.24 eprover: CPU time limit exceeded, terminating % 49.59/49.25 eprover: CPU time limit exceeded, terminating % 51.65/51.26 eprover: CPU time limit exceeded, terminating % 53.67/53.27 eprover: CPU time limit exceeded, terminating % 55.68/55.28 eprover: CPU time limit exceeded, terminating % 57.79/57.29 eprover: CPU time limit exceeded, terminating % 59.82/59.30 eprover: CPU time limit exceeded, terminating % 61.82/61.31 eprover: CPU time limit exceeded, terminating % 63.88/63.32 eprover: CPU time limit exceeded, terminating % 65.90/65.33 eprover: CPU time limit exceeded, terminating % 67.91/67.34 eprover: CPU time limit exceeded, terminating % 69.93/69.35 eprover: CPU time limit exceeded, terminating % 71.98/71.36 eprover: CPU time limit exceeded, terminating % 73.97/73.37 eprover: CPU time limit exceeded, terminating % 76.02/75.38 eprover: CPU time limit exceeded, terminating % 78.03/77.39 eprover: CPU time limit exceeded, terminating % 80.15/79.40 eprover: CPU time limit exceeded, terminating % 82.09/81.41 eprover: CPU time limit exceeded, terminating % 84.21/83.41 eprover: CPU time limit exceeded, terminating % 86.23/85.42 eprover: CPU time limit exceeded, terminating % 88.28/87.43 eprover: CPU time limit exceeded, terminating % 90.29/89.44 eprover: CPU time limit exceeded, terminating % 92.30/91.45 eprover: CPU time limit exceeded, terminating % 94.34/93.46 eprover: CPU time limit exceeded, terminating % 96.37/95.47 eprover: CPU time limit exceeded, terminating % 98.36/97.48 eprover: CPU time limit exceeded, terminating % 100.49/99.50 eprover: CPU time limit exceeded, terminating % 102.44/101.51 eprover: CPU time limit exceeded, terminating % 104.56/103.52 eprover: CPU time limit exceeded, terminating % 106.55/105.53 eprover: CPU time limit exceeded, terminating % 108.59/107.54 eprover: CPU time limit exceeded, terminating % 110.64/109.55 eprover: CPU time limit exceeded, terminating % 112.64/111.56 eprover: CPU time limit exceeded, terminating % 114.66/113.58 eprover: CPU time limit exceeded, terminating % 116.79/115.59 eprover: CPU time limit exceeded, terminating % 118.73/117.60 eprover: CPU time limit exceeded, terminating % 120.77/119.61 eprover: CPU time limit exceeded, terminating % 122.87/121.62 eprover: CPU time limit exceeded, terminating % 124.93/123.63 eprover: CPU time limit exceeded, terminating % 126.91/125.65 eprover: CPU time limit exceeded, terminating % 128.96/127.66 eprover: CPU time limit exceeded, terminating % 130.99/129.67 eprover: CPU time limit exceeded, terminating % 133.06/131.68 eprover: CPU time limit exceeded, terminating % 135.11/133.69 eprover: CPU time limit exceeded, terminating % 137.12/135.70 eprover: CPU time limit exceeded, terminating % 139.16/137.71 eprover: CPU time limit exceeded, terminating % 141.20/139.72 eprover: CPU time limit exceeded, terminating % 143.24/141.74 eprover: CPU time limit exceeded, terminating % 145.25/143.75 eprover: CPU time limit exceeded, terminating % 147.26/145.76 eprover: CPU time limit exceeded, terminating % 149.28/147.77 eprover: CPU time limit exceeded, terminating % 151.33/149.78 eprover: CPU time limit exceeded, terminating % 153.33/151.79 eprover: CPU time limit exceeded, terminating % 155.46/153.81 eprover: CPU time limit exceeded, terminating % 157.47/155.82 eprover: CPU time limit exceeded, terminating % 159.52/157.83 eprover: CPU time limit exceeded, terminating % 161.51/159.84 eprover: CPU time limit exceeded, terminating % 163.59/161.85 eprover: CPU time limit exceeded, terminating % 165.59/163.86 eprover: CPU time limit exceeded, terminating % 167.63/165.87 eprover: CPU time limit exceeded, terminating % 169.65/167.89 eprover: CPU time limit exceeded, terminating % 171.69/169.90 eprover: CPU time limit exceeded, terminating % 173.79/171.91 eprover: CPU time limit exceeded, terminating % 175.81/173.92 eprover: CPU time limit exceeded, terminating % 177.85/175.93 eprover: CPU time limit exceeded, terminating % 179.87/177.94 eprover: CPU time limit exceeded, terminating % 181.88/179.95 eprover: CPU time limit exceeded, terminating % 183.91/181.97 eprover: CPU time limit exceeded, terminating % 185.96/183.98 eprover: CPU time limit exceeded, terminating % 187.97/185.99 eprover: CPU time limit exceeded, terminating % 190.07/188.00 eprover: CPU time limit exceeded, terminating % 192.12/190.01 eprover: CPU time limit exceeded, terminating % 194.12/192.02 eprover: CPU time limit exceeded, terminating % 196.16/194.03 eprover: CPU time limit exceeded, terminating % 198.19/196.04 eprover: CPU time limit exceeded, terminating % 200.20/198.06 eprover: CPU time limit exceeded, terminating % 202.25/200.07 eprover: CPU time limit exceeded, terminating % 204.27/202.08 eprover: CPU time limit exceeded, terminating % 206.30/204.09 eprover: CPU time limit exceeded, terminating % 208.40/206.10 eprover: CPU time limit exceeded, terminating % 210.43/208.11 eprover: CPU time limit exceeded, terminating % 212.47/210.12 eprover: CPU time limit exceeded, terminating % 214.50/212.14 eprover: CPU time limit exceeded, terminating % 216.51/214.15 eprover: CPU time limit exceeded, terminating % 218.54/216.16 eprover: CPU time limit exceeded, terminating % 220.56/218.17 eprover: CPU time limit exceeded, terminating % 222.58/220.18 eprover: CPU time limit exceeded, terminating % 224.62/222.19 eprover: CPU time limit exceeded, terminating % 226.70/224.20 eprover: CPU time limit exceeded, terminating % 228.77/226.21 eprover: CPU time limit exceeded, terminating % 230.78/228.22 eprover: CPU time limit exceeded, terminating % 232.79/230.24 eprover: CPU time limit exceeded, terminating % 234.84/232.25 eprover: CPU time limit exceeded, terminating % 236.87/234.26 eprover: CPU time limit exceeded, terminating % 238.86/236.27 eprover: CPU time limit exceeded, terminating % 240.98/238.28 eprover: CPU time limit exceeded, terminating % 243.01/240.29 eprover: CPU time limit exceeded, terminating % 244.97/242.31 eprover: CPU time limit exceeded, terminating % 247.09/244.32 eprover: CPU time limit exceeded, terminating % 249.10/246.33 eprover: CPU time limit exceeded, terminating % 251.11/248.34 eprover: CPU time limit exceeded, terminating % 253.14/250.35 eprover: CPU time limit exceeded, terminating % 255.17/252.36 eprover: CPU time limit exceeded, terminating % 257.18/254.37 eprover: CPU time limit exceeded, terminating % 259.22/256.39 eprover: CPU time limit exceeded, terminating % 261.35/258.40 eprover: CPU time limit exceeded, terminating % 263.37/260.41 eprover: CPU time limit exceeded, terminating % 265.39/262.42 eprover: CPU time limit exceeded, terminating % 267.43/264.43 eprover: CPU time limit exceeded, terminating % 269.46/266.44 eprover: CPU time limit exceeded, terminating % 271.49/268.45 eprover: CPU time limit exceeded, terminating % 273.49/270.47 eprover: CPU time limit exceeded, terminating % 275.54/272.48 eprover: CPU time limit exceeded, terminating % 277.63/274.49 eprover: CPU time limit exceeded, terminating % 279.66/276.50 eprover: CPU time limit exceeded, terminating % 281.69/278.51 eprover: CPU time limit exceeded, terminating % 283.74/280.52 eprover: CPU time limit exceeded, terminating % 285.77/282.53 eprover: CPU time limit exceeded, terminating % 287.78/284.55 eprover: CPU time limit exceeded, terminating % 289.80/286.56 eprover: CPU time limit exceeded, terminating % 291.83/288.57 eprover: CPU time limit exceeded, terminating % 293.87/290.58 eprover: CPU time limit exceeded, terminating % 295.88/292.59 eprover: CPU time limit exceeded, terminating % 298.00/294.60 eprover: CPU time limit exceeded, terminating % 300.03/296.61 eprover: CPU time limit exceeded, terminating % 300.03/296.62 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------