Update script to experiments

Now with support to CPAChecker re-check

Signed-off-by: Herbert <herberthb12@gmail.com>