%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB046+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n026.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 285.72s 282.60s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWB046+1 : TPTP v8.1.0. Released v5.2.0. % 0.11/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n026.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 12:51:26 EDT 2022 % 0.12/0.33 % CPUTime : % 2.87/3.10 eprover: CPU time limit exceeded, terminating % 4.97/5.11 eprover: CPU time limit exceeded, terminating % 6.97/7.12 eprover: CPU time limit exceeded, terminating % 9.02/9.13 eprover: CPU time limit exceeded, terminating % 11.07/11.14 eprover: CPU time limit exceeded, terminating % 13.07/13.15 eprover: CPU time limit exceeded, terminating % 15.13/15.16 eprover: CPU time limit exceeded, terminating % 17.13/17.17 eprover: CPU time limit exceeded, terminating % 19.22/19.18 eprover: CPU time limit exceeded, terminating % 21.26/21.19 eprover: CPU time limit exceeded, terminating % 23.20/23.20 eprover: CPU time limit exceeded, terminating % 25.31/25.21 eprover: CPU time limit exceeded, terminating % 27.35/27.22 eprover: CPU time limit exceeded, terminating % 29.38/29.23 eprover: CPU time limit exceeded, terminating % 31.39/31.24 eprover: CPU time limit exceeded, terminating % 33.43/33.25 eprover: CPU time limit exceeded, terminating % 35.46/35.26 eprover: CPU time limit exceeded, terminating % 37.47/37.27 eprover: CPU time limit exceeded, terminating % 39.56/39.28 eprover: CPU time limit exceeded, terminating % 41.52/41.29 eprover: CPU time limit exceeded, terminating % 43.60/43.30 eprover: CPU time limit exceeded, terminating % 45.65/45.31 eprover: CPU time limit exceeded, terminating % 47.69/47.32 eprover: CPU time limit exceeded, terminating % 49.70/49.33 eprover: CPU time limit exceeded, terminating % 51.74/51.34 eprover: CPU time limit exceeded, terminating % 53.80/53.35 eprover: CPU time limit exceeded, terminating % 55.77/55.36 eprover: CPU time limit exceeded, terminating % 57.79/57.37 eprover: CPU time limit exceeded, terminating % 59.85/59.38 eprover: CPU time limit exceeded, terminating % 61.91/61.39 eprover: CPU time limit exceeded, terminating % 63.90/63.40 eprover: CPU time limit exceeded, terminating % 66.00/65.41 eprover: CPU time limit exceeded, terminating % 68.04/67.42 eprover: CPU time limit exceeded, terminating % 70.04/69.43 eprover: CPU time limit exceeded, terminating % 72.07/71.44 eprover: CPU time limit exceeded, terminating % 74.07/73.45 eprover: CPU time limit exceeded, terminating % 76.12/75.46 eprover: CPU time limit exceeded, terminating % 78.19/77.47 eprover: CPU time limit exceeded, terminating % 80.16/79.48 eprover: CPU time limit exceeded, terminating % 82.25/81.49 eprover: CPU time limit exceeded, terminating % 84.21/83.50 eprover: CPU time limit exceeded, terminating % 86.32/85.51 eprover: CPU time limit exceeded, terminating % 88.35/87.52 eprover: CPU time limit exceeded, terminating % 90.36/89.53 eprover: CPU time limit exceeded, terminating % 92.40/91.54 eprover: CPU time limit exceeded, terminating % 94.42/93.55 eprover: CPU time limit exceeded, terminating % 96.41/95.56 eprover: CPU time limit exceeded, terminating % 98.45/97.57 eprover: CPU time limit exceeded, terminating % 100.52/99.58 eprover: CPU time limit exceeded, terminating % 102.52/101.59 eprover: CPU time limit exceeded, terminating % 104.61/103.60 eprover: CPU time limit exceeded, terminating % 106.64/105.61 eprover: CPU time limit exceeded, terminating % 108.68/107.62 eprover: CPU time limit exceeded, terminating % 110.68/109.63 eprover: CPU time limit exceeded, terminating % 112.75/111.64 eprover: CPU time limit exceeded, terminating % 114.75/113.65 eprover: CPU time limit exceeded, terminating % 116.77/115.66 eprover: CPU time limit exceeded, terminating % 118.82/117.67 eprover: CPU time limit exceeded, terminating % 120.84/119.68 eprover: CPU time limit exceeded, terminating % 122.92/121.69 eprover: CPU time limit exceeded, terminating % 124.95/123.71 eprover: CPU time limit exceeded, terminating % 127.01/125.72 eprover: CPU time limit exceeded, terminating % 129.00/127.73 eprover: CPU time limit exceeded, terminating % 131.06/129.74 eprover: CPU time limit exceeded, terminating % 133.09/131.75 eprover: CPU time limit exceeded, terminating % 135.11/133.76 eprover: CPU time limit exceeded, terminating % 137.14/135.77 eprover: CPU time limit exceeded, terminating % 139.17/137.78 eprover: CPU time limit exceeded, terminating % 141.25/139.79 eprover: CPU time limit exceeded, terminating % 143.27/141.80 eprover: CPU time limit exceeded, terminating % 145.32/143.82 eprover: CPU time limit exceeded, terminating % 147.34/145.83 eprover: CPU time limit exceeded, terminating % 149.36/147.84 eprover: CPU time limit exceeded, terminating % 151.38/149.85 eprover: CPU time limit exceeded, terminating % 153.41/151.86 eprover: CPU time limit exceeded, terminating % 155.46/153.87 eprover: CPU time limit exceeded, terminating % 157.45/155.88 eprover: CPU time limit exceeded, terminating % 159.56/157.89 eprover: CPU time limit exceeded, terminating % 161.53/159.90 eprover: CPU time limit exceeded, terminating % 163.66/161.91 eprover: CPU time limit exceeded, terminating % 165.65/163.93 eprover: CPU time limit exceeded, terminating % 167.69/165.94 eprover: CPU time limit exceeded, terminating % 169.74/167.95 eprover: CPU time limit exceeded, terminating % 171.73/169.96 eprover: CPU time limit exceeded, terminating % 173.76/171.97 eprover: CPU time limit exceeded, terminating % 175.80/173.98 eprover: CPU time limit exceeded, terminating % 177.89/175.99 eprover: CPU time limit exceeded, terminating % 179.91/178.00 eprover: CPU time limit exceeded, terminating % 181.95/180.01 eprover: CPU time limit exceeded, terminating % 184.00/182.02 eprover: CPU time limit exceeded, terminating % 186.00/184.04 eprover: CPU time limit exceeded, terminating % 188.05/186.05 eprover: CPU time limit exceeded, terminating % 190.06/188.06 eprover: CPU time limit exceeded, terminating % 192.08/190.07 eprover: CPU time limit exceeded, terminating % 194.11/192.08 eprover: CPU time limit exceeded, terminating % 196.15/194.09 eprover: CPU time limit exceeded, terminating % 198.14/196.10 eprover: CPU time limit exceeded, terminating % 200.26/198.11 eprover: CPU time limit exceeded, terminating % 202.30/200.12 eprover: CPU time limit exceeded, terminating % 204.34/202.13 eprover: CPU time limit exceeded, terminating % 206.34/204.15 eprover: CPU time limit exceeded, terminating % 208.37/206.16 eprover: CPU time limit exceeded, terminating % 210.43/208.17 eprover: CPU time limit exceeded, terminating % 212.42/210.18 eprover: CPU time limit exceeded, terminating % 214.53/212.19 eprover: CPU time limit exceeded, terminating % 216.58/214.20 eprover: CPU time limit exceeded, terminating % 218.60/216.21 eprover: CPU time limit exceeded, terminating % 220.63/218.23 eprover: CPU time limit exceeded, terminating % 222.63/220.24 eprover: CPU time limit exceeded, terminating % 224.66/222.25 eprover: CPU time limit exceeded, terminating % 226.67/224.26 eprover: CPU time limit exceeded, terminating % 228.72/226.27 eprover: CPU time limit exceeded, terminating % 230.76/228.28 eprover: CPU time limit exceeded, terminating % 232.77/230.30 eprover: CPU time limit exceeded, terminating % 234.87/232.31 eprover: CPU time limit exceeded, terminating % 236.91/234.32 eprover: CPU time limit exceeded, terminating % 238.97/236.33 eprover: CPU time limit exceeded, terminating % 240.97/238.34 eprover: CPU time limit exceeded, terminating % 243.02/240.36 eprover: CPU time limit exceeded, terminating % 245.02/242.37 eprover: CPU time limit exceeded, terminating % 247.10/244.38 eprover: CPU time limit exceeded, terminating % 249.15/246.39 eprover: CPU time limit exceeded, terminating % 251.17/248.40 eprover: CPU time limit exceeded, terminating % 253.23/250.41 eprover: CPU time limit exceeded, terminating % 255.24/252.43 eprover: CPU time limit exceeded, terminating % 257.28/254.44 eprover: CPU time limit exceeded, terminating % 259.31/256.45 eprover: CPU time limit exceeded, terminating % 261.32/258.46 eprover: CPU time limit exceeded, terminating % 263.35/260.47 eprover: CPU time limit exceeded, terminating % 265.37/262.48 eprover: CPU time limit exceeded, terminating % 267.47/264.49 eprover: CPU time limit exceeded, terminating % 269.50/266.51 eprover: CPU time limit exceeded, terminating % 271.50/268.52 eprover: CPU time limit exceeded, terminating % 273.56/270.53 eprover: CPU time limit exceeded, terminating % 275.56/272.54 eprover: CPU time limit exceeded, terminating % 277.61/274.55 eprover: CPU time limit exceeded, terminating % 279.61/276.56 eprover: CPU time limit exceeded, terminating % 281.66/278.57 eprover: CPU time limit exceeded, terminating % 283.76/280.58 eprover: CPU time limit exceeded, terminating % 285.72/282.60 eprover: CPU time limit exceeded, terminating % 287.82/284.61 eprover: CPU time limit exceeded, terminating % 289.87/286.62 eprover: CPU time limit exceeded, terminating % 291.88/288.63 eprover: CPU time limit exceeded, terminating % 293.88/290.64 eprover: CPU time limit exceeded, terminating % 295.95/292.65 eprover: CPU time limit exceeded, terminating % 297.98/294.66 eprover: CPU time limit exceeded, terminating % 299.99/296.68 eprover: CPU time limit exceeded, terminating % 300.11/296.73 eprover: CPU time limit exceeded, terminating % 300.11/296.75 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------