| Mode | Name | Size | |
|---|---|---|---|
| d--------- | coq | 164 | log plain |
| d--------- | cvc3 | 39 | log plain |
| d--------- | eprover | 83 | log plain |
| d--------- | hol | 39 | log plain |
| d--------- | hol_light | 39 | log plain |
| d--------- | iprover | 39 | log plain |
| d--------- | isabelle | 81 | log plain |
| d--------- | lci | 39 | log plain |
| d--------- | leo2 | 39 | log plain |
| d--------- | logisim | 39 | log plain |
| d--------- | matita | 212 | 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 | 79 | log plain |
| d--------- | tptp | 39 | log plain |