test_case2 cannot finish, presumably because the Petrick's implementation is quite brute force and slow. Need to look into this