test(smt2): Mark nikos_01/02 as medium-size tests
test(smt2): Mark nikos_01/02 as medium-size tests
soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4