Experiment

[kwxm]

I just want to check nofib against #5857.

[kwxm]

/benchmark nofib

[kwxm]

/benchmark nofib

[github-actions]

Click here to check the status of your benchmark.

[github-actions]

Comparing benchmark results of 'nofib' on '718560453' (base) and '51189b43e' (PR)

Results table

Script	7185604	51189b4	Change
clausify/formula1	3.792 ms	3.822 ms	+0.8%
clausify/formula2	4.985 ms	5.025 ms	+0.8%
clausify/formula3	13.55 ms	13.63 ms	+0.6%
clausify/formula4	28.16 ms	28.31 ms	+0.5%
clausify/formula5	65.35 ms	65.80 ms	+0.7%
knights/4x4	17.93 ms	18.10 ms	+0.9%
knights/6x6	46.87 ms	47.46 ms	+1.3%
knights/8x8	82.25 ms	83.55 ms	+1.6%
primetest/05digits	8.870 ms	9.050 ms	+2.0%
primetest/08digits	14.16 ms	14.49 ms	+2.3%
primetest/10digits	17.09 ms	17.31 ms	+1.3%
primetest/20digits	33.88 ms	34.82 ms	+2.8%
primetest/30digits	52.07 ms	52.85 ms	+1.5%
primetest/40digits	70.47 ms	72.05 ms	+2.2%
primetest/50digits	85.51 ms	87.73 ms	+2.6%
queens4x4/bt	5.520 ms	5.581 ms	+1.1%
queens4x4/bm	7.291 ms	7.334 ms	+0.6%
queens4x4/bjbt1	6.852 ms	6.922 ms	+1.0%
queens4x4/bjbt2	6.346 ms	6.429 ms	+1.3%
queens4x4/fc	14.89 ms	15.03 ms	+0.9%
queens5x5/bt	74.13 ms	74.80 ms	+0.9%
queens5x5/bm	81.72 ms	82.00 ms	+0.3%
queens5x5/bjbt1	87.25 ms	87.79 ms	+0.6%
queens5x5/bjbt2	84.29 ms	85.20 ms	+1.1%
queens5x5/fc	190.0 ms	191.1 ms	+0.6%

[github-actions]

Click here to check the status of your benchmark.

[github-actions]

Comparing benchmark results of 'nofib' on '718560453' (base) and '51189b43e' (PR)

Results table

Script	7185604	51189b4	Change
clausify/formula1	3.789 ms	3.755 ms	-0.9%
clausify/formula2	5.018 ms	4.950 ms	-1.4%
clausify/formula3	13.61 ms	13.46 ms	-1.1%
clausify/formula4	28.11 ms	27.95 ms	-0.6%
clausify/formula5	65.39 ms	64.94 ms	-0.7%
knights/4x4	17.92 ms	17.92 ms	0.0%
knights/6x6	47.18 ms	46.85 ms	-0.7%
knights/8x8	82.73 ms	82.07 ms	-0.8%
primetest/05digits	8.952 ms	8.834 ms	-1.3%
primetest/08digits	14.41 ms	14.15 ms	-1.8%
primetest/10digits	17.20 ms	17.11 ms	-0.5%
primetest/20digits	34.55 ms	34.20 ms	-1.0%
primetest/30digits	52.68 ms	52.02 ms	-1.3%
primetest/40digits	71.36 ms	70.69 ms	-0.9%
primetest/50digits	86.84 ms	86.16 ms	-0.8%
queens4x4/bt	5.561 ms	5.545 ms	-0.3%
queens4x4/bm	7.296 ms	7.255 ms	-0.6%
queens4x4/bjbt1	6.870 ms	6.818 ms	-0.8%
queens4x4/bjbt2	6.377 ms	6.319 ms	-0.9%
queens4x4/fc	15.01 ms	14.84 ms	-1.1%
queens5x5/bt	74.42 ms	73.64 ms	-1.0%
queens5x5/bm	81.17 ms	80.67 ms	-0.6%
queens5x5/bjbt1	87.82 ms	86.89 ms	-1.1%
queens5x5/bjbt2	84.81 ms	83.79 ms	-1.2%
queens5x5/fc	189.8 ms	188.9 ms	-0.5%

[kwxm]

OK, these are consistent with the other PR.