bench-few-provers-why3-conf 3 KB