Solver not available on test machine
Make counter available in trivial problems where no problems have been solved