code-conjure-0.5.10: bench/erroneous.txt
Erroneous candidates for: foo :: Int -> Int
pruning with 15/35 rules
[3,3,8,9,21,27,98] candidates
0/169 erroneous candidates
Erroneous candidates for: ? :: Int -> Int -> Int
pruning with 10/23 rules
[3,8,22,50,116,302,765] candidates
147/1266 erroneous candidates
x ? 0 = x
x ? y = dec x ? y
-- 0 ? 1 = bottom
0 ? x = x
x ? y = x ? dec y
-- 1 ? 0 = bottom
x ? 0 = x
x ? y = x ? dec (dec y)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = y ? dec (dec x)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = y ? dec (dec y)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = 0 ? dec (dec y)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec x ? dec x
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec y ? dec x
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec x) ? x
-- 1 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec x) ? y
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec y) ? x
-- 1 ? 1 = bottom
0 ? x = x
x ? y = x ? dec (dec y)
-- 1 ? 0 = bottom
0 ? x = x
x ? y = y ? dec (dec x)
-- 1 ? 1 = bottom
0 ? x = x
x ? y = y ? dec (dec y)
-- 1 ? 1 = bottom
0 ? x = x
x ? y = dec y ? dec x
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec y ? dec y
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec x) ? x
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec x) ? y
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec x) ? 0
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec y) ? x
-- 1 ? 0 = bottom
x ? 0 = x
x ? y = dec (dec x ? y)
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = dec (dec x ? y)
-- 0 ? 1 = bottom
x ? 0 = dec x
x ? y = dec x ? y
-- 0 ? 1 = bottom
0 ? x = x
x ? y = dec (x ? dec y)
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = dec (x ? dec y)
-- 1 ? 0 = bottom
0 ? x = dec x
x ? y = x ? dec y
-- 1 ? 0 = bottom
x ? 0 = x
x ? y = x ? dec (dec (dec y))
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = y ? dec (dec (dec x))
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = y ? dec (dec (dec y))
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = 0 ? dec (dec (dec y))
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec x ? (x + y)
-- 1 ? 1 = bottom
x ? 0 = x
x ? y = dec x ? (y + y)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec x ? dec (dec x)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec x ? dec (dec y)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec y ? dec (dec x)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec y ? dec (dec y)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec x) ? dec x
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec y) ? dec x
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec (dec x)) ? x
-- 1 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec (dec x)) ? y
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec (dec y)) ? x
-- 1 ? 1 = bottom
0 ? x = x
x ? y = x ? dec (dec (dec y))
-- 1 ? 0 = bottom
0 ? x = x
x ? y = y ? dec (dec (dec x))
-- 1 ? 1 = bottom
0 ? x = x
x ? y = y ? dec (dec (dec y))
-- 1 ? 1 = bottom
0 ? x = x
x ? y = dec y ? dec (dec x)
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec y ? dec (dec y)
-- 1 ? 0 = bottom
0 ? x = x
x ? y = (x + x) ? dec y
-- 1 ? 0 = bottom
0 ? x = x
x ? y = (x + y) ? dec y
-- 1 ? 1 = bottom
0 ? x = x
x ? y = dec (dec x) ? dec x
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec x) ? dec y
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec y) ? dec x
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec y) ? dec y
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec (dec x)) ? x
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec (dec x)) ? y
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec (dec x)) ? 0
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec (dec y)) ? x
-- 1 ? 0 = bottom
x ? 0 = x
x ? y = dec (x ? dec (dec y))
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (y ? dec (dec x))
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (y ? dec (dec y))
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (0 ? dec (dec y))
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec x ? dec x)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec y ? dec x)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec (dec x) ? x)
-- 1 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec (dec x) ? y)
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec (dec y) ? x)
-- 1 ? 1 = bottom
x ? 0 = 0
x ? y = dec (x ? dec (dec y))
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = dec (y ? dec (dec x))
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = dec (y ? dec (dec y))
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = dec (0 ? dec (dec y))
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = dec (dec x ? dec x)
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = dec (dec y ? dec x)
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = dec (dec (dec x) ? x)
-- 1 ? 1 = bottom
x ? 0 = 0
x ? y = dec (dec (dec x) ? y)
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = dec (dec (dec y) ? x)
-- 1 ? 1 = bottom
x ? 0 = dec x
x ? y = x ? dec (dec y)
-- 0 ? 1 = bottom
x ? 0 = dec x
x ? y = y ? dec (dec x)
-- 0 ? 1 = bottom
x ? 0 = dec x
x ? y = y ? dec (dec y)
-- 0 ? 1 = bottom
x ? 0 = dec x
x ? y = 0 ? dec (dec y)
-- 0 ? 1 = bottom
x ? 0 = dec x
x ? y = dec x ? dec x
-- 0 ? 1 = bottom
x ? 0 = dec x
x ? y = dec y ? dec x
-- 0 ? 1 = bottom
x ? 0 = dec x
x ? y = dec (dec x) ? x
-- 1 ? 1 = bottom
x ? 0 = dec x
x ? y = dec (dec x) ? y
-- 0 ? 1 = bottom
x ? 0 = dec x
x ? y = dec (dec y) ? x
-- 1 ? 1 = bottom
0 ? x = x
x ? y = dec (x ? dec (dec y))
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (y ? dec (dec x))
-- 1 ? 1 = bottom
0 ? x = x
x ? y = dec (y ? dec (dec y))
-- 1 ? 1 = bottom
0 ? x = x
x ? y = dec (dec y ? dec x)
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec y ? dec y)
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec (dec x) ? x)
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec (dec x) ? y)
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec (dec x) ? 0)
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec (dec y) ? x)
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = dec (x ? dec (dec y))
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = dec (y ? dec (dec x))
-- 1 ? 1 = bottom
0 ? x = 0
x ? y = dec (y ? dec (dec y))
-- 1 ? 1 = bottom
0 ? x = 0
x ? y = dec (dec y ? dec x)
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = dec (dec y ? dec y)
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = dec (dec (dec x) ? x)
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = dec (dec (dec x) ? y)
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = dec (dec (dec x) ? 0)
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = dec (dec (dec y) ? x)
-- 1 ? 0 = bottom
0 ? x = dec x
x ? y = x ? dec (dec y)
-- 1 ? 0 = bottom
0 ? x = dec x
x ? y = y ? dec (dec x)
-- 1 ? 1 = bottom
0 ? x = dec x
x ? y = y ? dec (dec y)
-- 1 ? 1 = bottom
0 ? x = dec x
x ? y = dec y ? dec x
-- 1 ? 0 = bottom
0 ? x = dec x
x ? y = dec y ? dec y
-- 1 ? 0 = bottom
0 ? x = dec x
x ? y = dec (dec x) ? x
-- 1 ? 0 = bottom
0 ? x = dec x
x ? y = dec (dec x) ? y
-- 1 ? 0 = bottom
0 ? x = dec x
x ? y = dec (dec x) ? 0
-- 1 ? 0 = bottom
0 ? x = dec x
x ? y = dec (dec y) ? x
-- 1 ? 0 = bottom
0 ? x = x
x ? 0 = x
x ? y = x ? dec (dec y)
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = x
x ? y = y ? dec (dec x)
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = x
x ? y = y ? dec (dec y)
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = x
x ? y = dec (dec x) ? x
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = x
x ? y = dec (dec x) ? y
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = x
x ? y = dec (dec y) ? x
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = 0
x ? y = x ? dec (dec y)
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = 0
x ? y = y ? dec (dec x)
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = 0
x ? y = y ? dec (dec y)
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = 0
x ? y = dec (dec x) ? x
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = 0
x ? y = dec (dec x) ? y
-- 1 ? 1 = bottom
0 ? x = x
x ? 0 = 0
x ? y = dec (dec y) ? x
-- 1 ? 1 = bottom
0 ? x = 0
x ? 0 = x
x ? y = x ? dec (dec y)
-- 1 ? 1 = bottom
0 ? x = 0
x ? 0 = x
x ? y = y ? dec (dec x)
-- 1 ? 1 = bottom
0 ? x = 0
x ? 0 = x
x ? y = y ? dec (dec y)
-- 1 ? 1 = bottom
0 ? x = 0
x ? 0 = x
x ? y = dec (dec x) ? x
-- 1 ? 1 = bottom
0 ? x = 0
x ? 0 = x
x ? y = dec (dec x) ? y
-- 1 ? 1 = bottom
0 ? x = 0
x ? 0 = x
x ? y = dec (dec y) ? x
-- 1 ? 1 = bottom
x ? 0 = x
x ? y = x + dec x ? y
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec x ? y + y
-- 0 ? 1 = bottom
x ? 0 = x
x ? y = dec (dec (dec x ? y))
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = x + dec x ? y
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = dec x ? y + y
-- 0 ? 1 = bottom
x ? 0 = 0
x ? y = dec (dec (dec x ? y))
-- 0 ? 1 = bottom
x ? 0 = dec x
x ? y = dec (dec x ? y)
-- 0 ? 1 = bottom
x ? 0 = x + x
x ? y = dec x ? y
-- 0 ? 1 = bottom
x ? 0 = dec (dec x)
x ? y = dec x ? y
-- 0 ? 1 = bottom
0 ? x = x
x ? y = x + x ? dec y
-- 1 ? 0 = bottom
0 ? x = x
x ? y = x ? dec y + y
-- 1 ? 0 = bottom
0 ? x = x
x ? y = dec (dec (x ? dec y))
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = x + x ? dec y
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = x ? dec y + y
-- 1 ? 0 = bottom
0 ? x = 0
x ? y = dec (dec (x ? dec y))
-- 1 ? 0 = bottom
0 ? x = dec x
x ? y = dec (x ? dec y)
-- 1 ? 0 = bottom
0 ? x = x + x
x ? y = x ? dec y
-- 1 ? 0 = bottom
0 ? x = dec (dec x)
x ? y = x ? dec y
-- 1 ? 0 = bottom
0 ? 0 = 0
0 ? x = dec x
x ? y = x ? dec y
-- 1 ? 0 = bottom
Erroneous candidates for: goo :: [Int] -> [Int]
pruning with 4/4 rules
[2,1,1,2,4,7,10] candidates
0/27 erroneous candidates
Erroneous candidates for: ?? :: [Int] -> [Int] -> [Int]
pruning with 4/4 rules
[3,8,15,43,122,264,830] candidates
0/1285 erroneous candidates
Erroneous candidates for: ton :: Bool -> Bool
pruning with 39/49 rules
[3,2,0,0,0,0,0] candidates
0/5 erroneous candidates
Erroneous candidates for: &| :: Bool -> Bool -> Bool
pruning with 39/49 rules
[4,12,20,6,2,16,18] candidates
0/78 erroneous candidates