let temp_dir = if os="Unix" then (path_avispa^"/testsuite/results/") else (path_avispa^"\\testsuite\\results\\")