I've got no idea why the results from LiveRC don't match that from the actual results.
Here's the tie break rules:
b) AAA main system:
(1) AAA mains will be run at all electric nationals. If a particular class at the electric
national event does not have two (2) full heats of entrants, AAA mains may
not be performed.
(2) AAA main results will be decided by a point system based on 10 points for the
winner of each separate main on down to 1 point for the tenth placed finisher
in each separate main. A driver winning the first two mains must sit out the third.
(3) The best two out of three mains will count with the first tie breaker being the total of
the laps and time of each driver s two highest pointed mains. Subsequent ties
are broken by the single best laps and time of either highest pointed main.
Paul beat Keven twice, but the time Keven beat Paul, it was by a larger margin, therefore winning the tie break. Although... the points specified in this rule don't match the points actually awarded. It looks like LiveTime was set to use IFMAR scoring with ROAR tiebreak. Though that wouldn't have actually changed the result.