%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW369+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n025.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:41 EDT 2022 % Result : Timeout 288.15s 251.52s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.02/0.10 % Problem : SWW369+1 : TPTP v8.1.0. Released v5.2.0. % 0.02/0.11 % Command : run_infinox %s % 0.10/0.31 % Computer : n025.cluster.edu % 0.10/0.31 % Model : x86_64 x86_64 % 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.10/0.31 % Memory : 8042.1875MB % 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64 % 0.10/0.31 % CPULimit : 300 % 0.10/0.31 % WCLimit : 600 % 0.10/0.31 % DateTime : Sun Jun 5 12:53:32 EDT 2022 % 0.16/0.31 % CPUTime : % 84.15/83.94 eprover: CPU time limit exceeded, terminating % 86.58/85.96 eprover: CPU time limit exceeded, terminating % 89.01/87.98 eprover: CPU time limit exceeded, terminating % 91.45/90.00 eprover: CPU time limit exceeded, terminating % 93.94/92.02 eprover: CPU time limit exceeded, terminating % 96.44/94.04 eprover: CPU time limit exceeded, terminating % 98.81/96.06 eprover: CPU time limit exceeded, terminating % 101.30/98.08 eprover: CPU time limit exceeded, terminating % 103.77/100.09 eprover: CPU time limit exceeded, terminating % 106.18/102.11 eprover: CPU time limit exceeded, terminating % 108.63/104.13 eprover: CPU time limit exceeded, terminating % 111.07/106.15 eprover: CPU time limit exceeded, terminating % 113.56/108.17 eprover: CPU time limit exceeded, terminating % 116.03/110.19 eprover: CPU time limit exceeded, terminating % 118.50/112.21 eprover: CPU time limit exceeded, terminating % 120.90/114.23 eprover: CPU time limit exceeded, terminating % 123.44/116.25 eprover: CPU time limit exceeded, terminating % 125.93/118.27 eprover: CPU time limit exceeded, terminating % 128.38/120.28 eprover: CPU time limit exceeded, terminating % 130.91/122.30 eprover: CPU time limit exceeded, terminating % 133.32/124.32 eprover: CPU time limit exceeded, terminating % 135.81/126.34 eprover: CPU time limit exceeded, terminating % 138.25/128.36 eprover: CPU time limit exceeded, terminating % 140.71/130.38 eprover: CPU time limit exceeded, terminating % 143.21/132.40 eprover: CPU time limit exceeded, terminating % 145.67/134.42 eprover: CPU time limit exceeded, terminating % 148.13/136.44 eprover: CPU time limit exceeded, terminating % 150.58/138.46 eprover: CPU time limit exceeded, terminating % 153.03/140.47 eprover: CPU time limit exceeded, terminating % 155.50/142.49 eprover: CPU time limit exceeded, terminating % 157.94/144.51 eprover: CPU time limit exceeded, terminating % 160.44/146.53 eprover: CPU time limit exceeded, terminating % 162.88/148.55 eprover: CPU time limit exceeded, terminating % 165.31/150.57 eprover: CPU time limit exceeded, terminating % 167.78/152.59 eprover: CPU time limit exceeded, terminating % 170.26/154.61 eprover: CPU time limit exceeded, terminating % 172.71/156.63 eprover: CPU time limit exceeded, terminating % 175.16/158.65 eprover: CPU time limit exceeded, terminating % 177.59/160.67 eprover: CPU time limit exceeded, terminating % 180.07/162.69 eprover: CPU time limit exceeded, terminating % 182.51/164.70 eprover: CPU time limit exceeded, terminating % 184.95/166.72 eprover: CPU time limit exceeded, terminating % 187.42/168.74 eprover: CPU time limit exceeded, terminating % 189.86/170.76 eprover: CPU time limit exceeded, terminating % 192.31/172.78 eprover: CPU time limit exceeded, terminating % 194.83/174.80 eprover: CPU time limit exceeded, terminating % 197.27/176.82 eprover: CPU time limit exceeded, terminating % 199.68/178.84 eprover: CPU time limit exceeded, terminating % 202.18/180.86 eprover: CPU time limit exceeded, terminating % 204.65/182.88 eprover: CPU time limit exceeded, terminating % 207.12/184.89 eprover: CPU time limit exceeded, terminating % 209.58/186.91 eprover: CPU time limit exceeded, terminating % 212.02/188.93 eprover: CPU time limit exceeded, terminating % 214.51/190.95 eprover: CPU time limit exceeded, terminating % 216.95/192.97 eprover: CPU time limit exceeded, terminating % 219.35/194.99 eprover: CPU time limit exceeded, terminating % 221.87/197.01 eprover: CPU time limit exceeded, terminating % 224.34/199.03 eprover: CPU time limit exceeded, terminating % 226.79/201.05 eprover: CPU time limit exceeded, terminating % 229.23/203.07 eprover: CPU time limit exceeded, terminating % 231.70/205.09 eprover: CPU time limit exceeded, terminating % 234.09/207.11 eprover: CPU time limit exceeded, terminating % 236.60/209.12 eprover: CPU time limit exceeded, terminating % 239.05/211.14 eprover: CPU time limit exceeded, terminating % 241.48/213.16 eprover: CPU time limit exceeded, terminating % 243.93/215.18 eprover: CPU time limit exceeded, terminating % 246.40/217.20 eprover: CPU time limit exceeded, terminating % 248.85/219.22 eprover: CPU time limit exceeded, terminating % 251.26/221.24 eprover: CPU time limit exceeded, terminating % 253.74/223.26 eprover: CPU time limit exceeded, terminating % 256.21/225.28 eprover: CPU time limit exceeded, terminating % 258.61/227.29 eprover: CPU time limit exceeded, terminating % 261.08/229.31 eprover: CPU time limit exceeded, terminating % 263.55/231.33 eprover: CPU time limit exceeded, terminating % 266.01/233.35 eprover: CPU time limit exceeded, terminating % 268.47/235.37 eprover: CPU time limit exceeded, terminating % 270.86/237.39 eprover: CPU time limit exceeded, terminating % 273.34/239.41 eprover: CPU time limit exceeded, terminating % 275.85/241.43 eprover: CPU time limit exceeded, terminating % 278.29/243.45 eprover: CPU time limit exceeded, terminating % 280.76/245.47 eprover: CPU time limit exceeded, terminating % 283.19/247.49 eprover: CPU time limit exceeded, terminating % 285.68/249.50 eprover: CPU time limit exceeded, terminating % 288.15/251.52 eprover: CPU time limit exceeded, terminating % 290.59/253.54 eprover: CPU time limit exceeded, terminating % 293.04/255.56 eprover: CPU time limit exceeded, terminating % 295.50/257.58 eprover: CPU time limit exceeded, terminating % 297.95/259.60 eprover: CPU time limit exceeded, terminating % 300.02/261.18 eprover: CPU time limit exceeded, terminating % 300.02/261.20 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------