Started on porting satd_4x4 to rovex.
Fixed 4x4 and added results file and log.