The AtelierB plug-in 2.2.0 is broken for 64 bit Linux and 64 bit Windows.
The prover seems to always fail, but the issue is actually about the location of the binaries inside the bundles.
A fix has been made, it will be the 2.2.1 version.
Thierry, I have sent you mails with the fix on September 1st and 13rd.
Have you received them ?
Could you please have it published to the update site ?
Add bugfix update site 2.2.1.
AtelierB 2.2.1 has been released on the update site.