blob: 5b0e515a5991962d2b9e524c53fb344e7052f470 [file] [log] [blame]
:- P = 2000, mk_list(P, L), '$benchmark'(snairev(P), 10, rev(L,_), '$dummy'(L,_)).