added partitioning of klee test cases in exp1.py