Number of rewritings:
Time to rewrite query:
Time to find possible answers and their causes:
Time to identify IAR and AR answers:
Total time:

Number of IAR answers: 
Answers: [
idIARAnswer1: _ IARanswer1;
idIARAnswer2: _ IARanswer2;
...
]
_ IARanswer1: supports
_ IARanswer1: minimal supports:
_ IARanswer1: IAR causes:
Necessary assertions for IAR: 
Relevant assertions for IAR: 

...


Number of AR (not IAR) answers:
Answers: [
idARAnswer1: _ ARanswer1;
...
]
idARAnswer1: supports
idARAnswer1: minimal supports:
idARAnswer1: AR explanations:
size of disjunction: minimal: maximal: /OR/ number of assertions: minimal: maximal:
Necessary assertions for AR: 
Relevant assertions for AR: 
An explanation for not IAR is: 
Necessary assertions for not IAR: 
Relevant assertions for not IAR: 

...


Number of brave (not AR) answers: 
Answers: [
idBraveAnswer1: _ BraveAnswer1;
...
]
_ BraveAnswer1: supports
_ BraveAnswer1: minimal supports: 
_ BraveAnswer1: brave causes: 
Necessary assertions for brave: 
Relevant assertions for brave: 
An explanation for not AR is: 
Necessary assertions for not AR: 
Necessary assertions for not IAR:
Relevant assertions for not IAR:

...


Possible answers with inconsistent supports only: 
Answers: [
idPossibleAnswer1: _ PossibleAnswer1;
...
]
_ PossibleAnswer1: supports (inconsistent) : 

...