I have used info() to try and find this out, but have not been able pin down exactly what is meant by "default." I have played around with using "default" for the linear solver, and then coupled it with different preconditioners (e.g. amg, hypre-euclid) and based on the variation in run times I am led to believe that the "default" solver is some iterative method, but I am not sure which one it is (e.g. cg, bicgstab, etc.). This however, appears to be in contradiction with the Dolfin manual where it states that the default solver (at least for the PETSc backend) is LU (a direct method). I have set the log_level to DEBUG as well to try and see what is going on "under-the-hood", but this has not provided me with any information either.