Results for “IXSAT”