| I Challenge yoU | Vampire 4.9 | Vampire 5.0 | CSI_Enigma 1.0.6 | E 3.3.0 | iProver 3.9.3 | Drodi 4.1.0 | CSE_E 1.7 | ConnectPP 0.6.1 |
|---|---|---|---|---|---|---|---|---|
| VVA/10 | 👴 10/10 | 6/10 | 1/10 | 0/10 | 0/10 | 0/10 | 0/10 | 0/10 |
| VAM/13 | 8/13 | 😈 13/13 | 1/13 | 1/13 | 2/13 | 0/13 | 0/13 | 0/13 |
| CSI/13 | 9/13 | 11/13 | 😆 9/13 | 10/13 | 7/13 | 3/13 | 6/13 | 0/13 |
| EEE/13 | 6/13 | 7/13 | 9/13 | 😎 13/13 | 2/13 | 2/13 | 4/13 | 0/13 |
| IPR/13 | 12/13 | 11/13 | 6/13 | 3/13 | 😛 12/13 | 3/13 | 4/13 | 0/13 |
| DRO/13 | 13/13 | 13/13 | 9/13 | 6/13 | 10/13 | 😌 12/13 | 1/13 | 1/13 |
| CSE/13 | 11/13 | 7/13 | 11/13 | 9/13 | 1/13 | 1/13 | 😃 3/13 | 0/13 |
| CPP/13 | 0/13 | 0/13 | 0/13 | 0/13 | 0/13 | 0/13 | 0/13 | 😇 0/13 |
| Solved/101 | 69/101 | 68/101 | 46/101 | 42/101 | 34/101 | 21/101 | 18/101 | 1/101 |