runtime for theorem 3
add report