Mode | Name | Size | |
---|---|---|---|
d--------- | boolector | 39 | log plain |
d--------- | coq | 164 | log plain |
d--------- | cvc3 | 39 | log plain |
d--------- | ekrhyper | 83 | 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--------- | ltl2ba | 39 | log plain |
d--------- | matita | 212 | log plain |
d--------- | minisat | 39 | log plain |
d--------- | opensmt | 39 | log plain |
d--------- | otter | 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--------- | stp | 120 | log plain |
d--------- | tptp | 39 | log plain |
d--------- | verifast | 39 | log plain |
d--------- | yices | 39 | log plain |
d--------- | z3 | 39 | log plain |