| Mode | Name | Size | |
|---|---|---|---|
| d--------- | coq | 140 | log plain |
| d--------- | cvc3 | 39 | log plain |
| d--------- | eProver | 39 | log plain |
| d--------- | hol | 39 | log plain |
| d--------- | hol_light | 39 | log plain |
| d--------- | iprover | 39 | log plain |
| d--------- | isabelle | 81 | log plain |
| d--------- | leo2 | 39 | log plain |
| d--------- | matita | 124 | log plain |
| d--------- | minisat | 39 | log plain |
| d--------- | opensmt | 39 | log plain |
| d--------- | picosat | 39 | log plain |
| d--------- | prover9 | 39 | log plain |
| d--------- | satallax | 39 | log plain |
| d--------- | spass | 39 | log plain |
| d--------- | ssreflect | 39 | log plain |
| d--------- | tptp | 39 | log plain |