using ReachabilityAnalysis
Dict([
    "opts" => Dict(:T=>7.0, :alg=>TMJets()),
    "X0"   => Hyperrectangle(low=[1.25, 2.35], high=[1.55, 2.45]),
    "info" => Dict(
        "name" => "vanderpol",
        "dim" => 2,
        "linear" => false,
        "hybrid" => false
    )
])
