shorten tests for doT12 and doT12opt (optimization)