:- '$benchmark'(con1,    100000, con1,    '$dummy').
:- '$benchmark'(con6,    100000, con6,    '$dummy').
:- '$benchmark'(diff,    100000, diff,    '$dummy').
:- '$benchmark'(hanoi,   100000, hanoi,   '$dummy').
:- '$benchmark'(mu,      100000, mu,      '$dummy').
:- '$benchmark'(nrev1,   100000, nrev1,   '$dummy').
:- '$benchmark'(queens,  100000, queens,  '$dummy').
:- '$benchmark'(query,   100000, query,   '$dummy').
:- '$benchmark'(qs4,     100000, qs4,     '$dummy').
:- '$benchmark'(palin25, 100000, palin25, '$dummy').
:- '$benchmark'(sieve,   100000, sieve,   '$dummy').