%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW476+6 : TPTP v8.1.0. Released v5.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n017.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:58 EDT 2022 % Result : Timeout 287.99s 237.01s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.14 % Problem : SWW476+6 : TPTP v8.1.0. Released v5.3.0. % 0.08/0.14 % Command : run_infinox %s % 0.14/0.36 % Computer : n017.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 600 % 0.14/0.36 % DateTime : Sat Jun 4 18:43:15 EDT 2022 % 0.14/0.36 % CPUTime : % 15.53/15.21 eprover: CPU time limit exceeded, terminating % 17.99/17.23 eprover: CPU time limit exceeded, terminating % 20.47/19.25 eprover: CPU time limit exceeded, terminating % 22.90/21.26 eprover: CPU time limit exceeded, terminating % 25.38/23.28 eprover: CPU time limit exceeded, terminating % 27.86/25.29 eprover: CPU time limit exceeded, terminating % 30.39/27.31 eprover: CPU time limit exceeded, terminating % 32.91/29.33 eprover: CPU time limit exceeded, terminating % 35.40/31.34 eprover: CPU time limit exceeded, terminating % 37.88/33.36 eprover: CPU time limit exceeded, terminating % 40.34/35.37 eprover: CPU time limit exceeded, terminating % 42.89/37.39 eprover: CPU time limit exceeded, terminating % 45.30/39.41 eprover: CPU time limit exceeded, terminating % 47.86/41.42 eprover: CPU time limit exceeded, terminating % 50.28/43.44 eprover: CPU time limit exceeded, terminating % 52.79/45.46 eprover: CPU time limit exceeded, terminating % 55.26/47.47 eprover: CPU time limit exceeded, terminating % 57.69/49.49 eprover: CPU time limit exceeded, terminating % 60.23/51.50 eprover: CPU time limit exceeded, terminating % 62.71/53.52 eprover: CPU time limit exceeded, terminating % 65.18/55.54 eprover: CPU time limit exceeded, terminating % 67.62/57.55 eprover: CPU time limit exceeded, terminating % 70.08/59.57 eprover: CPU time limit exceeded, terminating % 72.56/61.58 eprover: CPU time limit exceeded, terminating % 75.14/63.60 eprover: CPU time limit exceeded, terminating % 77.58/65.62 eprover: CPU time limit exceeded, terminating % 80.06/67.63 eprover: CPU time limit exceeded, terminating % 82.51/69.65 eprover: CPU time limit exceeded, terminating % 84.94/71.67 eprover: CPU time limit exceeded, terminating % 87.45/73.68 eprover: CPU time limit exceeded, terminating % 89.91/75.70 eprover: CPU time limit exceeded, terminating % 92.30/77.72 eprover: CPU time limit exceeded, terminating % 94.84/79.73 eprover: CPU time limit exceeded, terminating % 97.30/81.75 eprover: CPU time limit exceeded, terminating % 99.81/83.77 eprover: CPU time limit exceeded, terminating % 102.25/85.78 eprover: CPU time limit exceeded, terminating % 104.76/87.80 eprover: CPU time limit exceeded, terminating % 107.25/89.81 eprover: CPU time limit exceeded, terminating % 109.75/91.83 eprover: CPU time limit exceeded, terminating % 112.22/93.85 eprover: CPU time limit exceeded, terminating % 114.70/95.86 eprover: CPU time limit exceeded, terminating % 117.19/97.88 eprover: CPU time limit exceeded, terminating % 119.66/99.89 eprover: CPU time limit exceeded, terminating % 122.10/101.91 eprover: CPU time limit exceeded, terminating % 124.61/103.92 eprover: CPU time limit exceeded, terminating % 127.04/105.94 eprover: CPU time limit exceeded, terminating % 129.54/107.96 eprover: CPU time limit exceeded, terminating % 131.97/109.97 eprover: CPU time limit exceeded, terminating % 134.51/111.99 eprover: CPU time limit exceeded, terminating % 136.96/114.01 eprover: CPU time limit exceeded, terminating % 139.43/116.02 eprover: CPU time limit exceeded, terminating % 141.91/118.04 eprover: CPU time limit exceeded, terminating % 144.34/120.06 eprover: CPU time limit exceeded, terminating % 146.84/122.07 eprover: CPU time limit exceeded, terminating % 149.27/124.09 eprover: CPU time limit exceeded, terminating % 151.82/126.10 eprover: CPU time limit exceeded, terminating % 154.28/128.12 eprover: CPU time limit exceeded, terminating % 156.72/130.14 eprover: CPU time limit exceeded, terminating % 159.15/132.15 eprover: CPU time limit exceeded, terminating % 161.66/134.17 eprover: CPU time limit exceeded, terminating % 164.09/136.18 eprover: CPU time limit exceeded, terminating % 166.64/138.20 eprover: CPU time limit exceeded, terminating % 169.08/140.22 eprover: CPU time limit exceeded, terminating % 171.61/142.24 eprover: CPU time limit exceeded, terminating % 174.09/144.25 eprover: CPU time limit exceeded, terminating % 176.48/146.27 eprover: CPU time limit exceeded, terminating % 178.95/148.28 eprover: CPU time limit exceeded, terminating % 181.43/150.30 eprover: CPU time limit exceeded, terminating % 183.98/152.31 eprover: CPU time limit exceeded, terminating % 186.42/154.33 eprover: CPU time limit exceeded, terminating % 188.90/156.35 eprover: CPU time limit exceeded, terminating % 191.36/158.36 eprover: CPU time limit exceeded, terminating % 193.83/160.38 eprover: CPU time limit exceeded, terminating % 196.35/162.39 eprover: CPU time limit exceeded, terminating % 198.81/164.41 eprover: CPU time limit exceeded, terminating % 201.31/166.43 eprover: CPU time limit exceeded, terminating % 203.74/168.44 eprover: CPU time limit exceeded, terminating % 206.20/170.46 eprover: CPU time limit exceeded, terminating % 208.65/172.48 eprover: CPU time limit exceeded, terminating % 211.15/174.49 eprover: CPU time limit exceeded, terminating % 213.68/176.51 eprover: CPU time limit exceeded, terminating % 216.14/178.52 eprover: CPU time limit exceeded, terminating % 218.63/180.54 eprover: CPU time limit exceeded, terminating % 221.06/182.56 eprover: CPU time limit exceeded, terminating % 223.51/184.57 eprover: CPU time limit exceeded, terminating % 226.02/186.59 eprover: CPU time limit exceeded, terminating % 228.50/188.60 eprover: CPU time limit exceeded, terminating % 230.99/190.62 eprover: CPU time limit exceeded, terminating % 233.45/192.64 eprover: CPU time limit exceeded, terminating % 235.88/194.66 eprover: CPU time limit exceeded, terminating % 238.36/196.67 eprover: CPU time limit exceeded, terminating % 240.84/198.69 eprover: CPU time limit exceeded, terminating % 243.37/200.70 eprover: CPU time limit exceeded, terminating % 245.80/202.72 eprover: CPU time limit exceeded, terminating % 248.29/204.74 eprover: CPU time limit exceeded, terminating % 250.73/206.75 eprover: CPU time limit exceeded, terminating % 253.18/208.77 eprover: CPU time limit exceeded, terminating % 255.65/210.79 eprover: CPU time limit exceeded, terminating % 258.22/212.80 eprover: CPU time limit exceeded, terminating % 260.70/214.82 eprover: CPU time limit exceeded, terminating % 263.12/216.84 eprover: CPU time limit exceeded, terminating % 265.63/218.85 eprover: CPU time limit exceeded, terminating % 268.05/220.87 eprover: CPU time limit exceeded, terminating % 270.61/222.89 eprover: CPU time limit exceeded, terminating % 273.07/224.90 eprover: CPU time limit exceeded, terminating % 275.58/226.92 eprover: CPU time limit exceeded, terminating % 278.08/228.94 eprover: CPU time limit exceeded, terminating % 280.52/230.96 eprover: CPU time limit exceeded, terminating % 282.98/232.97 eprover: CPU time limit exceeded, terminating % 285.45/234.99 eprover: CPU time limit exceeded, terminating % 287.99/237.01 eprover: CPU time limit exceeded, terminating % 290.45/239.02 eprover: CPU time limit exceeded, terminating % 292.92/241.04 eprover: CPU time limit exceeded, terminating % 295.36/243.05 eprover: CPU time limit exceeded, terminating % 297.83/245.07 eprover: CPU time limit exceeded, terminating % 300.12/246.83 eprover: CPU time limit exceeded, terminating % 300.12/246.85 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------