בהגדרה בעל בטן גדולה, מאגר Resolver מקשר בין כרס, כרסתן וכרסתני. המועמד כרס פותח את בדיקת בעל בטן גדולה, ואילו כרסתני מציג מבנה חלופי לצד כרס. כל פתרון של בעל בטן גדולה נשמר עם אורך כרס ועם מבנה כרסתני. הצורה של כרסתן נבחנת מול הניסוח המדויק של בעל בטן גדולה. בחירה בכרס דורשת התאמה לתאי בעל בטן גדולה, ובחירה בכרסתני דורשת הצלבות תומכות. כך משמעות בעל בטן גדולה נשארת מחוברת למבנה הלוח.
פתרונות בעל בטן גדולה מתחלקים לפי אורכי כרס וכרסתני: 3 אותיות, 5 אותיות ו6 אותיות, ובמבנה 1 מילה. בספירת כרס עבור בעל בטן גדולה, רווחים אינם אותיות; גם כרסתני נמדד כך. מספר תאי בעל בטן גדולה מסנן מועמד שגוי לפני בדיקת כרסתן. אחר כך מציבים בכל תאי בעל בטן גדולה אות שכבר התקבלה. אם כרס סותר הצלבה של בעל בטן גדולה, הוא יורד מהרשימה. אם כרסתני תואם למבנה בעל בטן גדולה, בודקים את יתר האותיות.
פתרון בעל בטן גדולה מתחיל בספירת תאי כרס ושל כרסתני. אחרי ספירת בעל בטן גדולה, תבנית האותיות נבדקת מול כרסתן. אות חוצה של בעל בטן גדולה עשויה להוציא את כרס ולהשאיר את כרסתני. כאשר בעל בטן גדולה כולל כמה מילים, חלוקת כרסתני מוסיפה מסנן. משאירים את בעל בטן גדולה פתוחה עד שהצלבות בעל בטן גדולה תומכות במועמד. לבסוף בודקים שכרסתן אינו יוצר סתירה ליד בעל בטן גדולה.









