%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW476+1 : TPTP v8.1.0. Released v5.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n032.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 : Thu Jul 21 00:24:57 EDT 2022 % Result : Timeout 286.23s 280.93s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.09/0.10 % Problem : SWW476+1 : TPTP v8.1.0. Released v5.3.0. % 0.09/0.10 % Command : run_infinox %s % 0.10/0.29 % Computer : n032.cluster.edu % 0.10/0.29 % Model : x86_64 x86_64 % 0.10/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.10/0.29 % Memory : 8042.1875MB % 0.10/0.29 % OS : Linux 3.10.0-693.el7.x86_64 % 0.10/0.29 % CPULimit : 300 % 0.10/0.29 % WCLimit : 600 % 0.10/0.29 % DateTime : Sun Jun 5 21:57:19 EDT 2022 % 0.14/0.29 % CPUTime : % 3.05/3.26 eprover: CPU time limit exceeded, terminating % 5.13/5.27 eprover: CPU time limit exceeded, terminating % 7.12/7.29 eprover: CPU time limit exceeded, terminating % 9.17/9.30 eprover: CPU time limit exceeded, terminating % 11.28/11.31 eprover: CPU time limit exceeded, terminating % 13.31/13.33 eprover: CPU time limit exceeded, terminating % 15.31/15.34 eprover: CPU time limit exceeded, terminating % 17.36/17.35 eprover: CPU time limit exceeded, terminating % 19.41/19.36 eprover: CPU time limit exceeded, terminating % 21.40/21.37 eprover: CPU time limit exceeded, terminating % 23.45/23.38 eprover: CPU time limit exceeded, terminating % 25.46/25.40 eprover: CPU time limit exceeded, terminating % 27.55/27.41 eprover: CPU time limit exceeded, terminating % 29.60/29.42 eprover: CPU time limit exceeded, terminating % 31.64/31.43 eprover: CPU time limit exceeded, terminating % 33.62/33.45 eprover: CPU time limit exceeded, terminating % 35.69/35.46 eprover: CPU time limit exceeded, terminating % 37.72/37.47 eprover: CPU time limit exceeded, terminating % 39.71/39.48 eprover: CPU time limit exceeded, terminating % 41.82/41.49 eprover: CPU time limit exceeded, terminating % 43.87/43.50 eprover: CPU time limit exceeded, terminating % 45.89/45.51 eprover: CPU time limit exceeded, terminating % 47.93/47.53 eprover: CPU time limit exceeded, terminating % 49.96/49.54 eprover: CPU time limit exceeded, terminating % 51.98/51.55 eprover: CPU time limit exceeded, terminating % 54.02/53.56 eprover: CPU time limit exceeded, terminating % 56.09/55.57 eprover: CPU time limit exceeded, terminating % 58.08/57.58 eprover: CPU time limit exceeded, terminating % 60.16/59.60 eprover: CPU time limit exceeded, terminating % 62.13/61.61 eprover: CPU time limit exceeded, terminating % 64.22/63.62 eprover: CPU time limit exceeded, terminating % 66.26/65.63 eprover: CPU time limit exceeded, terminating % 68.31/67.64 eprover: CPU time limit exceeded, terminating % 70.28/69.66 eprover: CPU time limit exceeded, terminating % 72.36/71.67 eprover: CPU time limit exceeded, terminating % 74.38/73.68 eprover: CPU time limit exceeded, terminating % 76.46/75.69 eprover: CPU time limit exceeded, terminating % 78.44/77.70 eprover: CPU time limit exceeded, terminating % 80.54/79.71 eprover: CPU time limit exceeded, terminating % 82.59/81.73 eprover: CPU time limit exceeded, terminating % 84.59/83.74 eprover: CPU time limit exceeded, terminating % 86.62/85.75 eprover: CPU time limit exceeded, terminating % 88.71/87.76 eprover: CPU time limit exceeded, terminating % 90.71/89.78 eprover: CPU time limit exceeded, terminating % 92.78/91.79 eprover: CPU time limit exceeded, terminating % 94.74/93.80 eprover: CPU time limit exceeded, terminating % 96.85/95.81 eprover: CPU time limit exceeded, terminating % 98.89/97.83 eprover: CPU time limit exceeded, terminating % 100.93/99.84 eprover: CPU time limit exceeded, terminating % 102.94/101.85 eprover: CPU time limit exceeded, terminating % 104.96/103.86 eprover: CPU time limit exceeded, terminating % 107.01/105.87 eprover: CPU time limit exceeded, terminating % 109.08/107.88 eprover: CPU time limit exceeded, terminating % 111.05/109.90 eprover: CPU time limit exceeded, terminating % 113.15/111.91 eprover: CPU time limit exceeded, terminating % 115.21/113.92 eprover: CPU time limit exceeded, terminating % 117.19/115.94 eprover: CPU time limit exceeded, terminating % 119.26/117.95 eprover: CPU time limit exceeded, terminating % 121.29/119.96 eprover: CPU time limit exceeded, terminating % 123.29/121.97 eprover: CPU time limit exceeded, terminating % 125.33/123.99 eprover: CPU time limit exceeded, terminating % 127.34/126.00 eprover: CPU time limit exceeded, terminating % 129.39/128.01 eprover: CPU time limit exceeded, terminating % 131.49/130.02 eprover: CPU time limit exceeded, terminating % 133.53/132.03 eprover: CPU time limit exceeded, terminating % 135.53/134.05 eprover: CPU time limit exceeded, terminating % 137.53/136.06 eprover: CPU time limit exceeded, terminating % 139.61/138.07 eprover: CPU time limit exceeded, terminating % 141.65/140.08 eprover: CPU time limit exceeded, terminating % 143.73/142.09 eprover: CPU time limit exceeded, terminating % 145.77/144.11 eprover: CPU time limit exceeded, terminating % 147.78/146.12 eprover: CPU time limit exceeded, terminating % 149.84/148.13 eprover: CPU time limit exceeded, terminating % 151.87/150.14 eprover: CPU time limit exceeded, terminating % 153.88/152.15 eprover: CPU time limit exceeded, terminating % 155.89/154.17 eprover: CPU time limit exceeded, terminating % 158.00/156.18 eprover: CPU time limit exceeded, terminating % 159.96/158.19 eprover: CPU time limit exceeded, terminating % 162.00/160.20 eprover: CPU time limit exceeded, terminating % 164.10/162.21 eprover: CPU time limit exceeded, terminating % 166.16/164.22 eprover: CPU time limit exceeded, terminating % 168.15/166.24 eprover: CPU time limit exceeded, terminating % 170.19/168.25 eprover: CPU time limit exceeded, terminating % 172.20/170.26 eprover: CPU time limit exceeded, terminating % 174.22/172.27 eprover: CPU time limit exceeded, terminating % 176.26/174.28 eprover: CPU time limit exceeded, terminating % 180.22/176.29 eprover: CPU time limit exceeded, terminating % 182.33/178.31 eprover: CPU time limit exceeded, terminating % 184.35/180.32 eprover: CPU time limit exceeded, terminating % 186.39/182.33 eprover: CPU time limit exceeded, terminating % 188.39/184.34 eprover: CPU time limit exceeded, terminating % 190.41/186.36 eprover: CPU time limit exceeded, terminating % 192.46/188.37 eprover: CPU time limit exceeded, terminating % 194.49/190.38 eprover: CPU time limit exceeded, terminating % 196.50/192.39 eprover: CPU time limit exceeded, terminating % 198.63/194.40 eprover: CPU time limit exceeded, terminating % 200.64/196.41 eprover: CPU time limit exceeded, terminating % 202.70/198.43 eprover: CPU time limit exceeded, terminating % 204.72/200.44 eprover: CPU time limit exceeded, terminating % 206.74/202.45 eprover: CPU time limit exceeded, terminating % 208.73/204.46 eprover: CPU time limit exceeded, terminating % 210.78/206.47 eprover: CPU time limit exceeded, terminating % 212.83/208.49 eprover: CPU time limit exceeded, terminating % 214.84/210.50 eprover: CPU time limit exceeded, terminating % 216.95/212.51 eprover: CPU time limit exceeded, terminating % 218.99/214.52 eprover: CPU time limit exceeded, terminating % 221.04/216.53 eprover: CPU time limit exceeded, terminating % 223.02/218.55 eprover: CPU time limit exceeded, terminating % 225.07/220.56 eprover: CPU time limit exceeded, terminating % 227.10/222.57 eprover: CPU time limit exceeded, terminating % 229.12/224.58 eprover: CPU time limit exceeded, terminating % 231.24/226.59 eprover: CPU time limit exceeded, terminating % 233.27/228.61 eprover: CPU time limit exceeded, terminating % 235.29/230.62 eprover: CPU time limit exceeded, terminating % 237.33/232.63 eprover: CPU time limit exceeded, terminating % 239.37/234.64 eprover: CPU time limit exceeded, terminating % 241.36/236.65 eprover: CPU time limit exceeded, terminating % 243.40/238.67 eprover: CPU time limit exceeded, terminating % 245.45/240.68 eprover: CPU time limit exceeded, terminating % 247.54/242.69 eprover: CPU time limit exceeded, terminating % 249.57/244.70 eprover: CPU time limit exceeded, terminating % 251.61/246.71 eprover: CPU time limit exceeded, terminating % 253.66/248.73 eprover: CPU time limit exceeded, terminating % 255.64/250.74 eprover: CPU time limit exceeded, terminating % 257.68/252.75 eprover: CPU time limit exceeded, terminating % 259.71/254.76 eprover: CPU time limit exceeded, terminating % 261.72/256.77 eprover: CPU time limit exceeded, terminating % 263.77/258.79 eprover: CPU time limit exceeded, terminating % 265.79/260.80 eprover: CPU time limit exceeded, terminating % 267.92/262.81 eprover: CPU time limit exceeded, terminating % 269.93/264.83 eprover: CPU time limit exceeded, terminating % 271.99/266.84 eprover: CPU time limit exceeded, terminating % 273.99/268.85 eprover: CPU time limit exceeded, terminating % 276.08/270.87 eprover: CPU time limit exceeded, terminating % 278.07/272.88 eprover: CPU time limit exceeded, terminating % 280.15/274.89 eprover: CPU time limit exceeded, terminating % 282.17/276.90 eprover: CPU time limit exceeded, terminating % 284.21/278.92 eprover: CPU time limit exceeded, terminating % 286.23/280.93 eprover: CPU time limit exceeded, terminating % 288.29/282.94 eprover: CPU time limit exceeded, terminating % 290.30/284.95 eprover: CPU time limit exceeded, terminating % 292.32/286.96 eprover: CPU time limit exceeded, terminating % 294.36/288.98 eprover: CPU time limit exceeded, terminating % 296.39/290.99 eprover: CPU time limit exceeded, terminating % 298.49/293.00 eprover: CPU time limit exceeded, terminating % 300.12/294.61 eprover: CPU time limit exceeded, terminating % 300.12/294.62 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------