We introduce the split torsor method to count rational points of bounded height on Fano varieties. As an application, we prove Manins conjecture for all nonsplit quartic del Pezzo surfaces of type $mathbf A_3+mathbf A_1$ over arbitrary number fields. The counting problem on the split torsor is solved in the framework of o-minimal structures.