I'm curios if anyone has used Batcache for page cache and what would be the advantages over W3 Total Cache or WP Super Cache.