As mentioned, one way is to divide the 10Mhz output down to 1PPS using PICDIV chips. If you have a simple PIC programmer you can knock them out quickly. You need a front end to the PICDIV and I use the front end to the TADD-2 off the TAPR site. You can skip the transformer input if your source can handle it but you still need a 50ohm load. Then as someone mentioned, you need a TIC. I also use their driver chip to build a signal for 50Ohm output. I have a 5371 or two and a bunch of counters but the TAPR TIC is decent. That will give you something less than 100ps of accuracy (as a broad term). The PICDIV chips have very low jitter. This setup should be about as good as you can get at home for measuring ADEV in the range of .1 to 10,000 seconds. Use Timelab directly from the TIC or other counters. Or Stable32. I wrote a program that logs to MSAccess instead in case there is an outage over the length of the run. There are other ways to collect the data but nothing is easier than Timelab reading two channels directly from a TIC.
As someone mentioned, the 1PPS output of the units will jump around, most likely, with some type of correction, depending. The 10Mhz outputs when divided down should be very stable depending on the disciplined oscillator in the unit.
Search the time-nuts list on leapsecond.com for more info.
Jerry