4VA Multi Reward (4VA_multiReward.pm) multi(R{"visited"}max=? [C<=totClock_max], R{"valuables"}min=?[C<=totClock_max]) Stochastic Speed (4VA_test_new.pm) Rmin=? [F "done"]