| cvc5 1.1.3 | 500
| |
| E 3.2.0 |
| |
| LEO-II 1.7.0 |
| |
| Leo-III 1.7.15 |
| |
| Vampire 4.8 |
| |
| Vampire 4.9 |
| |
| Zipperpin 2.1.9999 | 500
|
Results for: THF TFA TFN FOF UEQ SLH ICU
| cvc5 1.1.3 | 200
| |
| iProver 3.9 |
| |
| Vampire 4.8 |
| |
| Vampire 4.9 | 200
|
Results for: THF TFA TFN FOF UEQ SLH ICU
| cvc5 1.1.3 | 150
| |
| iProver 3.9 |
| |
| Vampire 4.8 |
| |
| Vampire 4.9 | 150
|
Results for: THF TFA TFN FOF UEQ SLH ICU
| ConnectPP 0.6.0 | 500
| |
| CSE 1.7 |
| |
| CSE_E 1.6 |
| |
| CSG_E 1.0 |
| |
| CSI_E 1.0 |
| |
| cvc5 1.1.3 |
| |
| Drodi 3.6.0 |
| |
| E 3.2.0 |
| |
| GKC 0.8 |
| |
| iProver 3.9 |
| |
| Prover9 1109a |
| |
| Vampire 4.8 |
| |
| Vampire 4.9 |
| |
| Zipperpin 2.1.9999 | 500
|
Results for: THF TFA TFN FOF UEQ SLH ICU
| Drodi 3.6.0 | 300
| |
| E 3.2.0 |
| |
| GKC 0.8 |
| |
| iProver 3.9 |
| |
| Twee 2.4.2 |
| |
| Twee 2.5.0 |
| |
| Vampire 4.9 | 300
|
Results for: THF TFA TFN FOF UEQ SLH ICU
| cvc5 1.1.3 | 1000
| |
| E 3.1 |
| |
| E 3.2.0 |
| |
| Vampire 4.9 | 1000
|
Results for: THF TFA TFN FOF UEQ SLH ICU
| ConnectPP 0.6.0 | 80
| |
| CSE_E 1.6 |
| |
| CSG_E 1.0 |
| |
| CSI_E 1.0 |
| |
| Drodi 3.6.0 |
| |
| E 3.2.0 |
| |
| iProver 3.9 |
| |
| Vampire 4.9 | 80
|