Totals:
Proved: 216 of 233; 1755 inferences; 8.12 Inferences/Proof
Elapsed Time: 708.54 sec;
Roots: 977;
Inputs: 8858;
Horn / Definite / Other: 8101 / 6329 / 483;
Root Literals: 4001;
Side Literals: 30841;
Generated: 320434;
Expanded: 276289;
Derivations: 319457;
Factorizations: 1971;
Reductions: 22414;
Extensions: 295511;
Out-order: 1.16;
Residual: 1651309;
Too deep: 0;
Unacceptable: 30051;
XUnacceptable: 1815;
Subsumed: 106;
Vacuous: 7542;