%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW337+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n028.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.98s 243.68s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.13 % Problem : SWW337+1 : TPTP v8.1.0. Released v5.2.0. % 0.14/0.14 % Command : run_infinox %s % 0.14/0.35 % Computer : n028.cluster.edu % 0.14/0.35 % Model : x86_64 x86_64 % 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.35 % Memory : 8042.1875MB % 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.35 % CPULimit : 300 % 0.14/0.35 % WCLimit : 600 % 0.14/0.35 % DateTime : Sun Jun 5 05:59:27 EDT 2022 % 0.14/0.35 % CPUTime : % 56.39/56.00 eprover: CPU time limit exceeded, terminating % 58.84/58.02 eprover: CPU time limit exceeded, terminating % 61.27/60.04 eprover: CPU time limit exceeded, terminating % 63.77/62.05 eprover: CPU time limit exceeded, terminating % 66.19/64.07 eprover: CPU time limit exceeded, terminating % 68.69/66.09 eprover: CPU time limit exceeded, terminating % 71.16/68.11 eprover: CPU time limit exceeded, terminating % 73.65/70.12 eprover: CPU time limit exceeded, terminating % 76.13/72.14 eprover: CPU time limit exceeded, terminating % 78.65/74.16 eprover: CPU time limit exceeded, terminating % 81.15/76.17 eprover: CPU time limit exceeded, terminating % 83.53/78.20 eprover: CPU time limit exceeded, terminating % 86.06/80.22 eprover: CPU time limit exceeded, terminating % 88.59/82.23 eprover: CPU time limit exceeded, terminating % 91.02/84.26 eprover: CPU time limit exceeded, terminating % 93.47/86.28 eprover: CPU time limit exceeded, terminating % 95.88/88.29 eprover: CPU time limit exceeded, terminating % 98.36/90.31 eprover: CPU time limit exceeded, terminating % 100.88/92.33 eprover: CPU time limit exceeded, terminating % 103.33/94.35 eprover: CPU time limit exceeded, terminating % 105.75/96.37 eprover: CPU time limit exceeded, terminating % 108.31/98.38 eprover: CPU time limit exceeded, terminating % 110.79/100.40 eprover: CPU time limit exceeded, terminating % 113.28/102.42 eprover: CPU time limit exceeded, terminating % 115.73/104.44 eprover: CPU time limit exceeded, terminating % 118.16/106.45 eprover: CPU time limit exceeded, terminating % 120.57/108.47 eprover: CPU time limit exceeded, terminating % 123.08/110.49 eprover: CPU time limit exceeded, terminating % 125.58/112.51 eprover: CPU time limit exceeded, terminating % 128.02/114.52 eprover: CPU time limit exceeded, terminating % 130.52/116.54 eprover: CPU time limit exceeded, terminating % 133.00/118.56 eprover: CPU time limit exceeded, terminating % 135.43/120.58 eprover: CPU time limit exceeded, terminating % 137.88/122.60 eprover: CPU time limit exceeded, terminating % 140.36/124.62 eprover: CPU time limit exceeded, terminating % 142.85/126.63 eprover: CPU time limit exceeded, terminating % 145.25/128.65 eprover: CPU time limit exceeded, terminating % 147.82/130.67 eprover: CPU time limit exceeded, terminating % 150.32/132.69 eprover: CPU time limit exceeded, terminating % 152.74/134.71 eprover: CPU time limit exceeded, terminating % 155.23/136.72 eprover: CPU time limit exceeded, terminating % 157.68/138.74 eprover: CPU time limit exceeded, terminating % 160.13/140.76 eprover: CPU time limit exceeded, terminating % 162.62/142.78 eprover: CPU time limit exceeded, terminating % 165.12/144.79 eprover: CPU time limit exceeded, terminating % 167.49/146.81 eprover: CPU time limit exceeded, terminating % 170.02/148.83 eprover: CPU time limit exceeded, terminating % 172.49/150.84 eprover: CPU time limit exceeded, terminating % 174.94/152.86 eprover: CPU time limit exceeded, terminating % 177.40/154.88 eprover: CPU time limit exceeded, terminating % 179.88/156.90 eprover: CPU time limit exceeded, terminating % 182.29/158.92 eprover: CPU time limit exceeded, terminating % 184.84/160.93 eprover: CPU time limit exceeded, terminating % 187.33/162.95 eprover: CPU time limit exceeded, terminating % 189.75/164.97 eprover: CPU time limit exceeded, terminating % 192.23/166.99 eprover: CPU time limit exceeded, terminating % 194.71/169.01 eprover: CPU time limit exceeded, terminating % 197.19/171.03 eprover: CPU time limit exceeded, terminating % 199.61/173.04 eprover: CPU time limit exceeded, terminating % 202.05/175.06 eprover: CPU time limit exceeded, terminating % 204.55/177.08 eprover: CPU time limit exceeded, terminating % 206.92/179.10 eprover: CPU time limit exceeded, terminating % 209.48/181.11 eprover: CPU time limit exceeded, terminating % 212.01/183.13 eprover: CPU time limit exceeded, terminating % 214.48/185.15 eprover: CPU time limit exceeded, terminating % 216.92/187.17 eprover: CPU time limit exceeded, terminating % 219.40/189.19 eprover: CPU time limit exceeded, terminating % 221.83/191.21 eprover: CPU time limit exceeded, terminating % 224.30/193.23 eprover: CPU time limit exceeded, terminating % 226.75/195.25 eprover: CPU time limit exceeded, terminating % 229.23/197.27 eprover: CPU time limit exceeded, terminating % 231.70/199.29 eprover: CPU time limit exceeded, terminating % 234.20/201.30 eprover: CPU time limit exceeded, terminating % 236.60/203.32 eprover: CPU time limit exceeded, terminating % 239.09/205.34 eprover: CPU time limit exceeded, terminating % 241.56/207.36 eprover: CPU time limit exceeded, terminating % 244.08/209.38 eprover: CPU time limit exceeded, terminating % 246.55/211.39 eprover: CPU time limit exceeded, terminating % 248.99/213.41 eprover: CPU time limit exceeded, terminating % 251.45/215.43 eprover: CPU time limit exceeded, terminating % 253.87/217.45 eprover: CPU time limit exceeded, terminating % 256.38/219.47 eprover: CPU time limit exceeded, terminating % 258.89/221.48 eprover: CPU time limit exceeded, terminating % 261.33/223.50 eprover: CPU time limit exceeded, terminating % 263.81/225.52 eprover: CPU time limit exceeded, terminating % 266.29/227.54 eprover: CPU time limit exceeded, terminating % 268.73/229.56 eprover: CPU time limit exceeded, terminating % 271.20/231.58 eprover: CPU time limit exceeded, terminating % 273.67/233.59 eprover: CPU time limit exceeded, terminating % 276.18/235.61 eprover: CPU time limit exceeded, terminating % 278.64/237.63 eprover: CPU time limit exceeded, terminating % 281.06/239.65 eprover: CPU time limit exceeded, terminating % 283.54/241.66 eprover: CPU time limit exceeded, terminating % 285.98/243.68 eprover: CPU time limit exceeded, terminating % 288.43/245.70 eprover: CPU time limit exceeded, terminating % 290.92/247.72 eprover: CPU time limit exceeded, terminating % 293.41/249.74 eprover: CPU time limit exceeded, terminating % 295.89/251.76 eprover: CPU time limit exceeded, terminating % 298.32/253.78 eprover: CPU time limit exceeded, terminating % 300.02/255.00 eprover: CPU time limit exceeded, terminating % 300.02/255.01 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------