%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW333+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:37 EDT 2022 % Result : Timeout 285.82s 243.47s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWW333+1 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n025.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Mon Jun 6 08:49:48 EDT 2022 % 0.13/0.34 % CPUTime : % 50.05/49.80 eprover: CPU time limit exceeded, terminating % 52.57/51.82 eprover: CPU time limit exceeded, terminating % 54.98/53.83 eprover: CPU time limit exceeded, terminating % 57.45/55.85 eprover: CPU time limit exceeded, terminating % 59.90/57.87 eprover: CPU time limit exceeded, terminating % 62.41/59.89 eprover: CPU time limit exceeded, terminating % 64.81/61.90 eprover: CPU time limit exceeded, terminating % 67.26/63.92 eprover: CPU time limit exceeded, terminating % 69.83/65.94 eprover: CPU time limit exceeded, terminating % 72.30/67.95 eprover: CPU time limit exceeded, terminating % 74.75/69.97 eprover: CPU time limit exceeded, terminating % 77.23/71.99 eprover: CPU time limit exceeded, terminating % 79.70/74.00 eprover: CPU time limit exceeded, terminating % 82.19/76.02 eprover: CPU time limit exceeded, terminating % 84.64/78.04 eprover: CPU time limit exceeded, terminating % 87.13/80.06 eprover: CPU time limit exceeded, terminating % 89.58/82.07 eprover: CPU time limit exceeded, terminating % 92.00/84.09 eprover: CPU time limit exceeded, terminating % 94.47/86.10 eprover: CPU time limit exceeded, terminating % 96.86/88.12 eprover: CPU time limit exceeded, terminating % 99.37/90.14 eprover: CPU time limit exceeded, terminating % 101.81/92.15 eprover: CPU time limit exceeded, terminating % 104.25/94.17 eprover: CPU time limit exceeded, terminating % 106.70/96.19 eprover: CPU time limit exceeded, terminating % 109.22/98.21 eprover: CPU time limit exceeded, terminating % 111.63/100.22 eprover: CPU time limit exceeded, terminating % 114.08/102.24 eprover: CPU time limit exceeded, terminating % 116.51/104.26 eprover: CPU time limit exceeded, terminating % 119.00/106.28 eprover: CPU time limit exceeded, terminating % 121.41/108.30 eprover: CPU time limit exceeded, terminating % 123.83/110.31 eprover: CPU time limit exceeded, terminating % 126.27/112.33 eprover: CPU time limit exceeded, terminating % 128.81/114.35 eprover: CPU time limit exceeded, terminating % 131.26/116.37 eprover: CPU time limit exceeded, terminating % 133.67/118.39 eprover: CPU time limit exceeded, terminating % 136.15/120.40 eprover: CPU time limit exceeded, terminating % 138.56/122.42 eprover: CPU time limit exceeded, terminating % 141.06/124.44 eprover: CPU time limit exceeded, terminating % 143.49/126.45 eprover: CPU time limit exceeded, terminating % 145.99/128.47 eprover: CPU time limit exceeded, terminating % 148.41/130.49 eprover: CPU time limit exceeded, terminating % 150.82/132.50 eprover: CPU time limit exceeded, terminating % 153.29/134.52 eprover: CPU time limit exceeded, terminating % 155.74/136.53 eprover: CPU time limit exceeded, terminating % 158.18/138.55 eprover: CPU time limit exceeded, terminating % 160.64/140.57 eprover: CPU time limit exceeded, terminating % 163.11/142.58 eprover: CPU time limit exceeded, terminating % 165.59/144.60 eprover: CPU time limit exceeded, terminating % 167.97/146.62 eprover: CPU time limit exceeded, terminating % 170.48/148.63 eprover: CPU time limit exceeded, terminating % 172.90/150.65 eprover: CPU time limit exceeded, terminating % 175.39/152.67 eprover: CPU time limit exceeded, terminating % 177.79/154.69 eprover: CPU time limit exceeded, terminating % 180.29/156.71 eprover: CPU time limit exceeded, terminating % 182.75/158.72 eprover: CPU time limit exceeded, terminating % 185.17/160.74 eprover: CPU time limit exceeded, terminating % 187.61/162.76 eprover: CPU time limit exceeded, terminating % 190.04/164.78 eprover: CPU time limit exceeded, terminating % 192.52/166.79 eprover: CPU time limit exceeded, terminating % 195.01/168.81 eprover: CPU time limit exceeded, terminating % 197.44/170.83 eprover: CPU time limit exceeded, terminating % 199.90/172.85 eprover: CPU time limit exceeded, terminating % 202.35/174.87 eprover: CPU time limit exceeded, terminating % 204.78/176.89 eprover: CPU time limit exceeded, terminating % 207.27/178.90 eprover: CPU time limit exceeded, terminating % 209.76/180.92 eprover: CPU time limit exceeded, terminating % 212.18/182.94 eprover: CPU time limit exceeded, terminating % 214.63/184.96 eprover: CPU time limit exceeded, terminating % 217.14/186.97 eprover: CPU time limit exceeded, terminating % 219.55/188.99 eprover: CPU time limit exceeded, terminating % 222.02/191.01 eprover: CPU time limit exceeded, terminating % 224.47/193.02 eprover: CPU time limit exceeded, terminating % 226.95/195.04 eprover: CPU time limit exceeded, terminating % 229.35/197.06 eprover: CPU time limit exceeded, terminating % 231.79/199.08 eprover: CPU time limit exceeded, terminating % 234.24/201.10 eprover: CPU time limit exceeded, terminating % 236.73/203.11 eprover: CPU time limit exceeded, terminating % 239.20/205.13 eprover: CPU time limit exceeded, terminating % 241.64/207.15 eprover: CPU time limit exceeded, terminating % 244.12/209.17 eprover: CPU time limit exceeded, terminating % 246.52/211.19 eprover: CPU time limit exceeded, terminating % 248.99/213.20 eprover: CPU time limit exceeded, terminating % 251.49/215.22 eprover: CPU time limit exceeded, terminating % 253.93/217.24 eprover: CPU time limit exceeded, terminating % 256.37/219.26 eprover: CPU time limit exceeded, terminating % 258.78/221.28 eprover: CPU time limit exceeded, terminating % 261.30/223.30 eprover: CPU time limit exceeded, terminating % 263.79/225.31 eprover: CPU time limit exceeded, terminating % 266.20/227.33 eprover: CPU time limit exceeded, terminating % 268.65/229.35 eprover: CPU time limit exceeded, terminating % 271.06/231.36 eprover: CPU time limit exceeded, terminating % 273.54/233.38 eprover: CPU time limit exceeded, terminating % 276.03/235.40 eprover: CPU time limit exceeded, terminating % 278.42/237.41 eprover: CPU time limit exceeded, terminating % 280.89/239.43 eprover: CPU time limit exceeded, terminating % 283.38/241.45 eprover: CPU time limit exceeded, terminating % 285.82/243.47 eprover: CPU time limit exceeded, terminating % 288.22/245.49 eprover: CPU time limit exceeded, terminating % 290.69/247.51 eprover: CPU time limit exceeded, terminating % 293.12/249.52 eprover: CPU time limit exceeded, terminating % 295.55/251.54 eprover: CPU time limit exceeded, terminating % 298.02/253.56 eprover: CPU time limit exceeded, terminating % 300.02/255.12 eprover: CPU time limit exceeded, terminating % 300.02/255.14 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------