However, if A = DLOGTIME, then ASAT may not equal ANP.
هرچند، اگر A=DLOGTIME (کلاس مسائل حل‌پذیر در زمان لگاریتمی توسّط ماشین تورینگ قطعی)، آن‌گاه ASAT ممکن است برابر با ANP نباشد.