a simple script to copy fm into tautologyChecker, run  it and rec
results.