instance0 :: Instance
instance0 = Instance 
    { modus = modus0
    , cnf = read "[[1,2,3],[-1,4],[2,-3],[1,-2,3,-4],[-2,3]]"
    , max_solution_length = Nothing
    }
instance0 :: Instance
instance0 = Instance 
    { modus = modus0
    , cnf = read "[[1,2,3],[-1,4],[2,-3],[1,-2,3,-4],[-2,3]]"
    , max_solution_length = Nothing
    }
instance0 = Instance 
    { modus = modus0
    , cnf = read "[[1,2,3],[-1,4],[2,-3],[1,-2,3,-4],[-2,3]]"
    , max_solution_length = Nothing
    }