LoAT

name	result	time
anant/1.t2	no	0.355364
anant/10.t2	no	2.7666
anant/11.t2	no	0.325432
anant/12.t2	no	0.575158
anant/13.t2	no	0.492347
anant/14.t2	no	0.250605
anant/15.t2	no	0.246158
anant/16.t2	no	1.74767
anant/17.t2	no	0.249631
anant/18.t2	no	0.247568
anant/19.t2	no	0.249477
anant/2.t2	no	0.592031
anant/20.t2	no	0.246975
anant/2a.t2	no	0.581865
anant/3.t2	maybe	0.486446
anant/4.t2	no	0.945011
anant/5.t2	no	0.249177
anant/6.t2	no	0.436521
anant/7.t2	no	0.439093
anant/8.t2	no	0.716553
anant/9.t2	no	0.958101
anant/factorial.t2	maybe	0.359426
anant/integer_log.t2	maybe	0.357357
anant/integer_log_by_mul.t2	maybe	0.482203
anant/lasso_example1.t2	no	0.246071
anant/lasso_example2.t2	no	0.245735
anant/lasso_example3.t2	no	0.245323
anant/nCr_combination.t2	no	0.324701
anant/power.t2	maybe	0.354916