Mode | Name | Size | |
---|---|---|---|
d--------- | bmc | 1351 | logstatsplain |
d--------- | bsat | 999 | logstatsplain |
d--------- | bsat2 | 1046 | logstatsplain |
d--------- | cnf | 437 | logstatsplain |
d--------- | csat | 117 | logstatsplain |
d--------- | glucose | 1054 | logstatsplain |
d--------- | glucose2 | 1141 | logstatsplain |
d--------- | lsat | 36 | logstatsplain |
d--------- | msat | 679 | logstatsplain |
d--------- | proof | 101 | logstatsplain |
d--------- | psat | 115 | logstatsplain |
d--------- | satoko | 515 | logstatsplain |
d--------- | xsat | 514 | logstatsplain |