A statistical method that jointly estimates solver ability and problem difficulty from performance data.