Randomly Generated Test Examples from BTPAB