Logical Inference on Logical Inference 9 operations
0.9674AccuracyOM
Evaluation Results
| Method | Links | |
|---|---|---|
| OMNumber of Operations=92023.11 | 0.9674 | |
| EBT-GRCNumber of Operations=92023.11 | 0.965 | |
| BT-GRC OSNumber of Operations=92023.11 | 0.9649 | |
| RIR-EBT-GRCNumber of Operations=92023.11 | 0.9605 | |
| MEGANumber of Operations=92023.11 | 0.836 | |
| S4DNumber of Operations=92023.11 | 0.794 | |
| BBT-GRCNumber of Operations=92023.11 | 0.725 | |
| RIR-GRCNumber of Operations=92023.11 | 0.6489 |