| I Challenge yoU | Vampire 4.9 | CSI_E 1.0 | E 3.2.0 | iProver 3.9 | CSE_E 1.6 | Drodi 3.6.0 | CSG_E 1.0 | ConnectPP 0.6.0 |
|---|---|---|---|---|---|---|---|---|
| VAM/10 | 😈 10/10 | 1/10 | 1/10 | 0/10 | 0/10 | 0/10 | 0/10 | 0/10 |
| CSI/10 | 6/10 | 😆 10/10 | 10/10 | 0/10 | 0/10 | 0/10 | 0/10 | 0/10 |
| EEE/10 | 5/10 | 10/10 | 😎 10/10 | 1/10 | 3/10 | 2/10 | 4/10 | 0/10 |
| IPR/10 | 10/10 | 2/10 | 2/10 | 😛 8/10 | 2/10 | 0/10 | 0/10 | 0/10 |
| CSE/10 | 7/10 | 8/10 | 8/10 | 2/10 | 😃 5/10 | 2/10 | 2/10 | 2/10 |
| DRO/10 | 10/10 | 8/10 | 8/10 | 7/10 | 3/10 | 😌 9/10 | 2/10 | 1/10 |
| CSG/10 | 10/10 | 4/10 | 3/10 | 3/10 | 7/10 | 2/10 | 😄 3/10 | 0/10 |
| CPP/10 | 1/10 | 0/10 | 0/10 | 0/10 | 0/10 | 0/10 | 0/10 | 😇 0/10 |
| Solved/80 | 59/80 | 43/80 | 42/80 | 21/80 | 20/80 | 15/80 | 11/80 | 3/80 |