time metta RUN_tests0.metta > OUTPUT_tests0.txt
time metta RUN_tests1.metta > OUTPUT_tests1.txt
time metta RUN_tests2.metta > OUTPUT_tests2.txt
time metta RUN_tests3.metta > OUTPUT_tests3.txt