fvca6-solver-bench