add pcb expected results.
add pcb and hapset results.
update expected results.
add expected results lamport
terminate comment.
add peterson expected results.
Add TimeVar expected results.
add expected results.
add expected results.