Pulley: SATP results show progress