2inverter.in
2inverter.out
andrews.in
andrews.out
andrews.out2
assoc-comm.clauses
BA2.in
BA2.interps
BA2.interps2
BA2.interps3
BA2.interps4
BA2.interps5
BA4.in
BA4.out
BA-Sheffer.demods
bool-ring.demods
bool-ring.in
bool-ring.out
cabbages.in
cabbages.out
easy.hints
easy.in
easy.out
group.demods
group-terms.in
group-terms.out
hard-hints.out
hard.in
hard.out
interp3.dtd
interp3.xsl
jugs.in
jugs.out
kenken6.in
kenken6.out
list.in
list.out
LT-82-2.in
LT-82-2-interp.in
LT-82-2-interp.out
LT-82-2.out
LT-port.in
LT-port.out
LT-port.out2
MOL-cand.238
MOL-cand.296
MOL.in
MOL.interps
MOL.interps2
non-MOL-OML.interps
olsax.in
olsax.out
port.py
proof3.dtd
PUZ031-1.in
PUZ031-1.out
PUZ031-1.out2
PUZ031-1.tptp
qg4-ac.interps
qg4.interps
queens1.in
queens1.out
queens2.in
queens2.out
queens3.in
queens3.out
RBA-2.in
RBA-2q.tptp
RBA-2.tptp
redeclare.in
redeclare.out
ring41.in
ring41.out
send-money.in
send-money.out
subset.in
subset_trans_expand.in
subset_trans_expand.out
subset_trans.in
subset_trans.out
subset_trans.out2
subset_trans.out3
subset_trans.out4
subset_trans.proof1
subset_trans.proof2
subset_trans.proof3
subset_trans.proof4
subset_trans.proof5.xml
subset_trans.proof6
subset_trans.proof7
subset_trans.proof8
trans.in
uc-18.interps
uc-hunt.clauses
uc-hunt.out
weight_test.in
weight_test.out
x2.cooked
x2.in
x2.mace4.out
x2.portable
x2.prover9.out
x2.raw
x2.standard
x2.standard2
x2.tabular
x2.tex
x2.xml
zebra2.in
zebra2.out
