method searchTime =
    float_of_sv (call_method sv "searchTime" [])