Add more KLEE experiments with other command line options