analyzerecord
checkstat
disproof-log2.hist
disproof-x.txt
disproof-y.txt
disproof.eps
disproof.hist
evalrecord
log-disproof-y.txt
tsumero-log2.hist
tsumero.eps
tsumero.hist
