sort tests by solver and comment ril out until working