LEO‑II 1.7.0 | ![]() | |
Leo‑III 1.3 | ![]() | |
Satallax 3.2 | ![]() | |
Satallax 3.3 | ![]() |
Results for: THF TFA FOF FNT EPR LTB
CVC4 1.6pre | ![]() | |
Princess 170717 | ![]() | |
Vampire 4.1 | ![]() | |
Vampire 4.3 | ![]() |
Results for: THF TFA FOF FNT EPR LTB
CSE 1.0 | ![]() | |
CSE 1.1 | ![]() | |
CSE_E 1.0 | ![]() | |
CVC4 1.6pre | ![]() | |
E 2.2pre | ![]() | |
Geo‑III 2018C | ![]() | |
iProver 2.8 | ![]() | |
leanCoP 2.2 | ![]() | |
Leo‑III 1.3 | ![]() | |
nanoCoP 1.1 | ![]() | |
Prover9 1109a | ![]() | |
Twee 2.2 | ![]() | |
Vampire 4.2 | ![]() | |
Vampire 4.3 | ![]() |
Results for: THF TFA FOF FNT EPR LTB
CVC4 SAT‑1.6pre | ![]() | |
E FNT‑2.2pre | ![]() | |
Geo‑III 2018C | ![]() | |
iProver SAT‑2.8 | ![]() | |
Vampire SAT‑4.1 | ![]() | |
Vampire SAT‑4.3 | ![]() |
Results for: THF TFA FOF FNT EPR LTB
E 2.2pre | ![]() | |
Geo‑III 2018C | ![]() | |
iProver 2.6 | ![]() | |
iProver 2.8 | ![]() | |
Leo‑III 1.3 | ![]() | |
Vampire 4.3 | ![]() |
Results for: THF TFA FOF FNT EPR LTB
E LTB‑2.2pre |
![]() | ![]() |
Grackle 0.1 |
![]() | ![]() |
iProver LTB‑2.8 |
![]() | ![]() |
MaLARea 0.6 | ![]() | |
Vampire LTB‑4.0 |
![]() | ![]() |
Vampire LTB‑4.3 | ![]() |