more commit to benchmark
fix benchmark runner
new ref point
new benchmark runner
deleteMax while searching next var
simple random choice of true-false in decision
new benchmarks to test