leancheck-instances-0.0.4: test/diff/tiers-DiffTime.out

map length (tiers :: [[ DiffTime ]])  =  [1,0,2,0,2,0,4,0,2,0,6,0,...]

length (list :: [ DiffTime ])  =  Infinity

allUnique (list :: [ DiffTime ])  =  True

ratioRepetitions (list :: [ DiffTime ])  =  0 % 1

tiers :: [DiffTime]  =
  [ [1s]
  , []
  , [ 0.5s
    , 2s
    ]
  , []
  , [ 0.333333333333s
    , 3s
    ]
  , []
  , [ 0.25s
    , 0.666666666666s
    , 1.5s
    , 4s
    ]
  , []
  , [ 0.2s
    , 5s
    ]
  , []
  , [ 0.166666666666s
    , 0.4s
    , 0.75s
    , 1.333333333333s
    , 2.5s
    , 6s
    ]
  , []
  , ...
  ]