And                  2
Example             20
SmallFib           124
Fib             109454
Parts          1105589
Sudoku         7325270
KnuthBendix   15874694
CountDown     17334045
Adjoxo        37011608
Cichelli      37547157
Taut          53809264
While         56375459
Braun         66337296
MSS           66411317
Clausify      67003153
OrdList       93588980
Queens        96116306
Queens2      119431395
PermSort     154081426
SumPuz       356561175
Mate2        542663277
Mate         622273335
