cvc5 1.1.3 | ![]() | |
E 3.2.0 | ![]() | |
LEO-II 1.7.0 | ![]() | |
Leo-III 1.7.15 | ![]() | |
Vampire 4.8 | ![]() | |
Vampire 4.9 | ![]() | |
Zipperpin 2.1.9999 | ![]() |
Results for: THF TFA TFN FOF UEQ SLH ICU
cvc5 1.1.3 | ![]() | |
iProver 3.9 | ![]() | |
Vampire 4.8 | ![]() | |
Vampire 4.9 | ![]() |
Results for: THF TFA TFN FOF UEQ SLH ICU
cvc5 1.1.3 | ![]() | |
iProver 3.9 | ![]() | |
Vampire 4.8 | ![]() | |
Vampire 4.9 | ![]() |
Results for: THF TFA TFN FOF UEQ SLH ICU
ConnectPP 0.6.0 | ![]() | |
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 | ![]() |
Results for: THF TFA TFN FOF UEQ SLH ICU
Drodi 3.6.0 | ![]() | |
E 3.2.0 | ![]() | |
GKC 0.8 | ![]() | |
iProver 3.9 | ![]() | |
Twee 2.4.2 | ![]() | |
Twee 2.5.0 | ![]() | |
Vampire 4.9 | ![]() |
Results for: THF TFA TFN FOF UEQ SLH ICU
cvc5 1.1.3 | ![]() | |
E 3.1 | ![]() | |
E 3.2.0 | ![]() | |
Vampire 4.9 | ![]() |
Results for: THF TFA TFN FOF UEQ SLH ICU
ConnectPP 0.6.0 | ![]() | |
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 | ![]() |