%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW349+1 : TPTP v8.1.0. Released v5.2.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:39 EDT 2022 % Result : Timeout 286.50s 247.52s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.11 % Problem : SWW349+1 : TPTP v8.1.0. Released v5.2.0. % 0.03/0.11 % Command : run_infinox %s % 0.11/0.31 % Computer : n032.cluster.edu % 0.11/0.31 % Model : x86_64 x86_64 % 0.11/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.11/0.31 % Memory : 8042.1875MB % 0.11/0.31 % OS : Linux 3.10.0-693.el7.x86_64 % 0.11/0.31 % CPULimit : 300 % 0.11/0.31 % WCLimit : 600 % 0.11/0.31 % DateTime : Sat Jun 4 07:20:32 EDT 2022 % 0.11/0.31 % CPUTime : % 64.37/64.02 eprover: CPU time limit exceeded, terminating % 66.78/66.03 eprover: CPU time limit exceeded, terminating % 69.19/68.04 eprover: CPU time limit exceeded, terminating % 71.57/70.06 eprover: CPU time limit exceeded, terminating % 74.02/72.08 eprover: CPU time limit exceeded, terminating % 76.35/74.09 eprover: CPU time limit exceeded, terminating % 78.83/76.11 eprover: CPU time limit exceeded, terminating % 81.23/78.12 eprover: CPU time limit exceeded, terminating % 83.67/80.14 eprover: CPU time limit exceeded, terminating % 86.09/82.16 eprover: CPU time limit exceeded, terminating % 88.49/84.18 eprover: CPU time limit exceeded, terminating % 90.95/86.19 eprover: CPU time limit exceeded, terminating % 93.43/88.21 eprover: CPU time limit exceeded, terminating % 95.84/90.22 eprover: CPU time limit exceeded, terminating % 98.27/92.24 eprover: CPU time limit exceeded, terminating % 100.66/94.25 eprover: CPU time limit exceeded, terminating % 103.12/96.27 eprover: CPU time limit exceeded, terminating % 105.64/98.29 eprover: CPU time limit exceeded, terminating % 108.10/100.30 eprover: CPU time limit exceeded, terminating % 110.52/102.32 eprover: CPU time limit exceeded, terminating % 112.95/104.34 eprover: CPU time limit exceeded, terminating % 115.40/106.35 eprover: CPU time limit exceeded, terminating % 117.85/108.37 eprover: CPU time limit exceeded, terminating % 120.34/110.39 eprover: CPU time limit exceeded, terminating % 122.78/112.40 eprover: CPU time limit exceeded, terminating % 125.22/114.42 eprover: CPU time limit exceeded, terminating % 127.71/116.43 eprover: CPU time limit exceeded, terminating % 130.15/118.45 eprover: CPU time limit exceeded, terminating % 132.58/120.46 eprover: CPU time limit exceeded, terminating % 134.98/122.48 eprover: CPU time limit exceeded, terminating % 137.50/124.50 eprover: CPU time limit exceeded, terminating % 139.97/126.51 eprover: CPU time limit exceeded, terminating % 142.39/128.53 eprover: CPU time limit exceeded, terminating % 144.80/130.54 eprover: CPU time limit exceeded, terminating % 147.25/132.56 eprover: CPU time limit exceeded, terminating % 149.70/134.58 eprover: CPU time limit exceeded, terminating % 152.09/136.60 eprover: CPU time limit exceeded, terminating % 154.61/138.61 eprover: CPU time limit exceeded, terminating % 157.07/140.63 eprover: CPU time limit exceeded, terminating % 159.48/142.65 eprover: CPU time limit exceeded, terminating % 161.91/144.67 eprover: CPU time limit exceeded, terminating % 164.35/146.68 eprover: CPU time limit exceeded, terminating % 166.91/148.70 eprover: CPU time limit exceeded, terminating % 169.34/150.71 eprover: CPU time limit exceeded, terminating % 171.78/152.73 eprover: CPU time limit exceeded, terminating % 174.22/154.75 eprover: CPU time limit exceeded, terminating % 176.63/156.76 eprover: CPU time limit exceeded, terminating % 179.06/158.78 eprover: CPU time limit exceeded, terminating % 181.51/160.80 eprover: CPU time limit exceeded, terminating % 184.01/162.82 eprover: CPU time limit exceeded, terminating % 186.41/164.83 eprover: CPU time limit exceeded, terminating % 188.86/166.85 eprover: CPU time limit exceeded, terminating % 191.27/168.87 eprover: CPU time limit exceeded, terminating % 193.75/170.89 eprover: CPU time limit exceeded, terminating % 196.10/172.90 eprover: CPU time limit exceeded, terminating % 198.63/174.92 eprover: CPU time limit exceeded, terminating % 201.06/176.94 eprover: CPU time limit exceeded, terminating % 203.45/178.96 eprover: CPU time limit exceeded, terminating % 205.88/180.97 eprover: CPU time limit exceeded, terminating % 208.31/182.99 eprover: CPU time limit exceeded, terminating % 210.81/185.01 eprover: CPU time limit exceeded, terminating % 213.23/187.02 eprover: CPU time limit exceeded, terminating % 215.65/189.04 eprover: CPU time limit exceeded, terminating % 218.07/191.06 eprover: CPU time limit exceeded, terminating % 220.52/193.08 eprover: CPU time limit exceeded, terminating % 222.98/195.09 eprover: CPU time limit exceeded, terminating % 225.47/197.11 eprover: CPU time limit exceeded, terminating % 227.92/199.12 eprover: CPU time limit exceeded, terminating % 230.36/201.14 eprover: CPU time limit exceeded, terminating % 232.78/203.16 eprover: CPU time limit exceeded, terminating % 235.28/205.18 eprover: CPU time limit exceeded, terminating % 237.64/207.19 eprover: CPU time limit exceeded, terminating % 240.15/209.21 eprover: CPU time limit exceeded, terminating % 242.57/211.22 eprover: CPU time limit exceeded, terminating % 244.97/213.24 eprover: CPU time limit exceeded, terminating % 247.40/215.26 eprover: CPU time limit exceeded, terminating % 249.87/217.28 eprover: CPU time limit exceeded, terminating % 252.37/219.29 eprover: CPU time limit exceeded, terminating % 254.79/221.31 eprover: CPU time limit exceeded, terminating % 257.26/223.33 eprover: CPU time limit exceeded, terminating % 259.66/225.35 eprover: CPU time limit exceeded, terminating % 262.12/227.36 eprover: CPU time limit exceeded, terminating % 264.55/229.38 eprover: CPU time limit exceeded, terminating % 267.06/231.40 eprover: CPU time limit exceeded, terminating % 269.50/233.41 eprover: CPU time limit exceeded, terminating % 271.96/235.43 eprover: CPU time limit exceeded, terminating % 274.39/237.44 eprover: CPU time limit exceeded, terminating % 276.81/239.46 eprover: CPU time limit exceeded, terminating % 279.26/241.48 eprover: CPU time limit exceeded, terminating % 281.66/243.49 eprover: CPU time limit exceeded, terminating % 284.13/245.51 eprover: CPU time limit exceeded, terminating % 286.50/247.52 eprover: CPU time limit exceeded, terminating % 288.90/249.53 eprover: CPU time limit exceeded, terminating % 291.27/251.54 eprover: CPU time limit exceeded, terminating % 293.63/253.56 eprover: CPU time limit exceeded, terminating % 296.03/255.57 eprover: CPU time limit exceeded, terminating % 298.47/257.58 eprover: CPU time limit exceeded, terminating % 300.10/258.72 eprover: CPU time limit exceeded, terminating % 300.10/258.73 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------