Build and run CVC4/AltErgo