one-row-tie tie - 1 2 1:4,1:5 - -
one-row-unique unique 11 1 1 1:11 - 4fc82b26aecb47d2868c4efbe3581732a3e7cbcc6c2efb32062c08170a05eeb8
no-rows empty - 0 0 - - -
unsatisfiable-only no_candidate - 0 0 - - -
zero-row-unbounded unbounded - 1 inf 1:11,1:12,1:13,1:14,1:15 - -
zero-row-honest unique 11 3 1 3:11 - 4fc82b26aecb47d2868c4efbe3581732a3e7cbcc6c2efb32062c08170a05eeb8
zero-row-liar unique 11 2 1 2:11 1 4fc82b26aecb47d2868c4efbe3581732a3e7cbcc6c2efb32062c08170a05eeb8
tie-two-values tie - 3 2 3:11,3:13,2:12 - -
plateau-wide tie - 2 167 2:835,2:836,2:837,2:838,2:839 - -
float-range unique 3 2 1 2:3 - 4e07408562bedb8b60ce05c1decfe3ad16b72230967de01f640b7e4729b49fce
comment-shift unique 11 2 1 2:11 3 4fc82b26aecb47d2868c4efbe3581732a3e7cbcc6c2efb32062c08170a05eeb8
unsatisfiable-row unique 11 1 1 1:11 1 4fc82b26aecb47d2868c4efbe3581732a3e7cbcc6c2efb32062c08170a05eeb8
zero-rows-only unbounded - 3 inf 3:3001,3:3002,3:3003,3:3004,3:3005 - -
the-cast-file unique 444300618094 24 1 24:444300618094,23:444300618089,23:444300618090,23:444300618091,23:444300618092 5,11,14,15,21,25 0aa611823266238aa0623702ae81c056dfe7ea2ec6b1bfcad4201a10161029a3