%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW334+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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:38 EDT 2022 % Result : Timeout 285.93s 243.40s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWW334+1 : TPTP v8.1.0. Released v5.2.0. % 0.11/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n020.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 07:22:07 EDT 2022 % 0.13/0.34 % CPUTime : % 52.08/51.79 eprover: CPU time limit exceeded, terminating % 54.49/53.81 eprover: CPU time limit exceeded, terminating % 57.00/55.83 eprover: CPU time limit exceeded, terminating % 59.51/57.84 eprover: CPU time limit exceeded, terminating % 61.97/59.86 eprover: CPU time limit exceeded, terminating % 64.43/61.88 eprover: CPU time limit exceeded, terminating % 66.92/63.89 eprover: CPU time limit exceeded, terminating % 69.35/65.91 eprover: CPU time limit exceeded, terminating % 71.79/67.93 eprover: CPU time limit exceeded, terminating % 74.33/69.94 eprover: CPU time limit exceeded, terminating % 76.79/71.96 eprover: CPU time limit exceeded, terminating % 79.21/73.98 eprover: CPU time limit exceeded, terminating % 81.66/75.99 eprover: CPU time limit exceeded, terminating % 84.17/78.01 eprover: CPU time limit exceeded, terminating % 86.62/80.03 eprover: CPU time limit exceeded, terminating % 89.06/82.05 eprover: CPU time limit exceeded, terminating % 91.56/84.06 eprover: CPU time limit exceeded, terminating % 93.97/86.08 eprover: CPU time limit exceeded, terminating % 96.48/88.10 eprover: CPU time limit exceeded, terminating % 98.87/90.11 eprover: CPU time limit exceeded, terminating % 101.36/92.13 eprover: CPU time limit exceeded, terminating % 103.82/94.15 eprover: CPU time limit exceeded, terminating % 106.31/96.16 eprover: CPU time limit exceeded, terminating % 108.75/98.18 eprover: CPU time limit exceeded, terminating % 111.22/100.20 eprover: CPU time limit exceeded, terminating % 113.72/102.21 eprover: CPU time limit exceeded, terminating % 116.14/104.23 eprover: CPU time limit exceeded, terminating % 118.64/106.25 eprover: CPU time limit exceeded, terminating % 121.09/108.26 eprover: CPU time limit exceeded, terminating % 123.55/110.28 eprover: CPU time limit exceeded, terminating % 125.93/112.30 eprover: CPU time limit exceeded, terminating % 128.42/114.31 eprover: CPU time limit exceeded, terminating % 130.94/116.33 eprover: CPU time limit exceeded, terminating % 133.35/118.35 eprover: CPU time limit exceeded, terminating % 135.85/120.37 eprover: CPU time limit exceeded, terminating % 138.31/122.38 eprover: CPU time limit exceeded, terminating % 140.74/124.40 eprover: CPU time limit exceeded, terminating % 143.20/126.42 eprover: CPU time limit exceeded, terminating % 145.59/128.43 eprover: CPU time limit exceeded, terminating % 148.13/130.45 eprover: CPU time limit exceeded, terminating % 150.56/132.47 eprover: CPU time limit exceeded, terminating % 153.04/134.48 eprover: CPU time limit exceeded, terminating % 155.57/136.50 eprover: CPU time limit exceeded, terminating % 158.01/138.52 eprover: CPU time limit exceeded, terminating % 160.43/140.53 eprover: CPU time limit exceeded, terminating % 162.85/142.55 eprover: CPU time limit exceeded, terminating % 165.39/144.57 eprover: CPU time limit exceeded, terminating % 167.82/146.59 eprover: CPU time limit exceeded, terminating % 170.25/148.60 eprover: CPU time limit exceeded, terminating % 172.67/150.62 eprover: CPU time limit exceeded, terminating % 175.20/152.64 eprover: CPU time limit exceeded, terminating % 177.63/154.65 eprover: CPU time limit exceeded, terminating % 180.08/156.67 eprover: CPU time limit exceeded, terminating % 182.54/158.69 eprover: CPU time limit exceeded, terminating % 184.99/160.71 eprover: CPU time limit exceeded, terminating % 187.42/162.72 eprover: CPU time limit exceeded, terminating % 189.89/164.74 eprover: CPU time limit exceeded, terminating % 192.42/166.76 eprover: CPU time limit exceeded, terminating % 194.86/168.77 eprover: CPU time limit exceeded, terminating % 197.28/170.79 eprover: CPU time limit exceeded, terminating % 199.78/172.81 eprover: CPU time limit exceeded, terminating % 202.24/174.83 eprover: CPU time limit exceeded, terminating % 204.67/176.84 eprover: CPU time limit exceeded, terminating % 207.14/178.86 eprover: CPU time limit exceeded, terminating % 209.61/180.88 eprover: CPU time limit exceeded, terminating % 212.11/182.90 eprover: CPU time limit exceeded, terminating % 214.57/184.91 eprover: CPU time limit exceeded, terminating % 217.05/186.93 eprover: CPU time limit exceeded, terminating % 219.51/188.95 eprover: CPU time limit exceeded, terminating % 221.98/190.96 eprover: CPU time limit exceeded, terminating % 224.42/192.98 eprover: CPU time limit exceeded, terminating % 226.85/195.00 eprover: CPU time limit exceeded, terminating % 229.35/197.01 eprover: CPU time limit exceeded, terminating % 231.77/199.03 eprover: CPU time limit exceeded, terminating % 234.23/201.05 eprover: CPU time limit exceeded, terminating % 236.73/203.07 eprover: CPU time limit exceeded, terminating % 239.21/205.08 eprover: CPU time limit exceeded, terminating % 241.66/207.10 eprover: CPU time limit exceeded, terminating % 244.07/209.12 eprover: CPU time limit exceeded, terminating % 246.52/211.13 eprover: CPU time limit exceeded, terminating % 249.05/213.15 eprover: CPU time limit exceeded, terminating % 251.55/215.17 eprover: CPU time limit exceeded, terminating % 253.98/217.18 eprover: CPU time limit exceeded, terminating % 256.46/219.20 eprover: CPU time limit exceeded, terminating % 258.87/221.22 eprover: CPU time limit exceeded, terminating % 261.36/223.24 eprover: CPU time limit exceeded, terminating % 263.80/225.25 eprover: CPU time limit exceeded, terminating % 266.29/227.27 eprover: CPU time limit exceeded, terminating % 268.72/229.29 eprover: CPU time limit exceeded, terminating % 271.17/231.31 eprover: CPU time limit exceeded, terminating % 273.63/233.32 eprover: CPU time limit exceeded, terminating % 276.13/235.34 eprover: CPU time limit exceeded, terminating % 278.60/237.36 eprover: CPU time limit exceeded, terminating % 281.02/239.37 eprover: CPU time limit exceeded, terminating % 283.50/241.39 eprover: CPU time limit exceeded, terminating % 285.93/243.40 eprover: CPU time limit exceeded, terminating % 288.41/245.42 eprover: CPU time limit exceeded, terminating % 290.86/247.44 eprover: CPU time limit exceeded, terminating % 293.37/249.46 eprover: CPU time limit exceeded, terminating % 295.78/251.47 eprover: CPU time limit exceeded, terminating % 298.28/253.49 eprover: CPU time limit exceeded, terminating % 300.02/254.77 eprover: CPU time limit exceeded, terminating % 300.02/254.79 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------