Sudoku: prove

Violin Plot

This chart shows the relationship between function/parameter and iteration time. The thickness of the shaded region indicates the probability that a measurement of the given function/parameter would take a particular length of time.

Sudoku: prove/Miden

Sudoku: prove/Plonk: 3 by 3

Sudoku: prove/Risc

Sudoku: prove/Halo: 3 by 3