n is the number of rows.
 m is the number of columns.
 bit_in is the maximum number of bits in entry of input.
 t_LLL is the time taken by LLL.
 t_X is the time taken by XLLL.
 t_X/LLL is their ratio.
 bit_det is the number of bits in det
 bit_BLLL is the maximum number of bits in B for LLL
 bit_BX is the maximum number of bits in B for XLLL
 
m = 20, n = 40, bit_in = 10
   t_LLL = 0.89, t_X = 0.07, t_X/LLL = 0.0786517
   bit_det = 1 bit_BLLL = 1 bit_BX = 1
m = 20, n = 40, bit_in = 24
   t_LLL = 3.54, t_X = 0.91, t_X/LLL = 0.257062
   bit_det = 436 bit_BLLL = 12 bit_BX = 12
m = 40, n = 80, bit_in = 10
   t_LLL = 24.21, t_X = 0.87, t_X/LLL = 0.0359356
   bit_det = 1 bit_BLLL = 1 bit_BX = 1
m = 40, n = 80, bit_in = 24
   t_LLL = 113.59, t_X = 26.63, t_X/LLL = 0.23444
   bit_det = 924 bit_BLLL = 13 bit_BX = 13
m = 80, n = 160, bit_in = 10
   t_LLL = 716.98, t_X = 14.91, t_X/LLL = 0.0207956
   bit_det = 1 bit_BLLL = 4 bit_BX = 1
m = 80, n = 160, bit_in = 25
   t_LLL = 3280.47, t_X = 770.67, t_X/LLL = 0.234927
   bit_det = 1926 bit_BLLL = 16 bit_BX = 16
m = 20, n = 40, bit_in = 20
   t_LLL = 3.7, t_X = 0.09, t_X/LLL = 0.0243243
   bit_det = 1 bit_BLLL = 1 bit_BX = 1
m = 20, n = 40, bit_in = 44
   t_LLL = 18.3, t_X = 4.56, t_X/LLL = 0.24918
   bit_det = 840 bit_BLLL = 22 bit_BX = 22
m = 40, n = 80, bit_in = 20
   t_LLL = 108.85, t_X = 1.35, t_X/LLL = 0.0124024
   bit_det = 1 bit_BLLL = 1 bit_BX = 1
m = 40, n = 80, bit_in = 44
   t_LLL = 562.31, t_X = 135.87, t_X/LLL = 0.241628
   bit_det = 1716 bit_BLLL = 23 bit_BX = 23
m = 80, n = 160, bit_in = 20
   t_LLL = 3129.77, t_X = 24.85, t_X/LLL = 0.00793988
   bit_det = 1 bit_BLLL = 4 bit_BX = 1
m = 80, n = 160, bit_in = 45
   t_LLL = 16404, t_X = 3829.79, t_X/LLL = 0.233466
   bit_det = 3528 bit_BLLL = 26 bit_BX = 26
m = 10, n = 20, bit_in = 40
   t_LLL = 0.58, t_X = 0.01, t_X/LLL = 0.0172414
   bit_det = 1 bit_BLLL = 1 bit_BX = 1
m = 10, n = 20, bit_in = 83
   t_LLL = 2.88, t_X = 0.84, t_X/LLL = 0.291667
   bit_det = 808 bit_BLLL = 41 bit_BX = 41
m = 20, n = 40, bit_in = 40
   t_LLL = 19.76, t_X = 0.15, t_X/LLL = 0.00759109
   bit_det = 1 bit_BLLL = 1 bit_BX = 1
m = 20, n = 40, bit_in = 84
   t_LLL = 107.19, t_X = 25.64, t_X/LLL = 0.239201
   bit_det = 1642 bit_BLLL = 42 bit_BX = 42
m = 40, n = 80, bit_in = 40
   t_LLL = 595.81, t_X = 2.7, t_X/LLL = 0.00453165
   bit_det = 1 bit_BLLL = 2 bit_BX = 1
m = 40, n = 80, bit_in = 84
   t_LLL = 3344.03, t_X = 800.75, t_X/LLL = 0.239457
   bit_det = 3319 bit_BLLL = 43 bit_BX = 43
m = 35, n = 40, bit_in = 10
   t_LLL = 12.97, t_X = 0.3, t_X/LLL = 0.0231303
   bit_det = 1 bit_BLLL = 1 bit_BX = 1
m = 35, n = 40, bit_in = 24
   t_LLL = 57.26, t_X = 14.45, t_X/LLL = 0.252358
   bit_det = 802 bit_BLLL = 13 bit_BX = 12
m = 75, n = 80, bit_in = 10
   t_LLL = 517.22, t_X = 6.77, t_X/LLL = 0.0130892
   bit_det = 1 bit_BLLL = 3 bit_BX = 1
m = 75, n = 80, bit_in = 25
   t_LLL = 2320.17, t_X = 563.48, t_X/LLL = 0.242862
   bit_det = 1803 bit_BLLL = 15 bit_BX = 15
m = 5, n = 200, bit_in = 40
   t_LLL = 0.05, t_X = 0.02, t_X/LLL = 0.4
   bit_det = 1 bit_BLLL = 1 bit_BX = 1
m = 5, n = 200, bit_in = 82
   t_LLL = 0.19, t_X = 0.06, t_X/LLL = 0.315789
   bit_det = 405 bit_BLLL = 41 bit_BX = 41
m = 5, n = 200, bit_in = 80
   t_LLL = 0.11, t_X = 0.03, t_X/LLL = 0.272727
   bit_det = 1 bit_BLLL = 1 bit_BX = 1
m = 5, n = 200, bit_in = 162
   t_LLL = 0.7, t_X = 0.2, t_X/LLL = 0.285714
   bit_det = 801 bit_BLLL = 81 bit_BX = 81
bye!