run/smt

../
f/                                                               -         -      
ktest/                                                           -         -