+niti:
+ ./testfull.sh --engine niti
+
+nitg-g:
+ ./testfull.sh --engine nitg-g
+
+nitg-s:
+ ./testfull.sh --engine nitg-s
+
+nitg-s-bm:
+ ./testfull.sh --engine nitg-s -o --bm-typing
+
+nitg-s-phmod:
+ ./testfull.sh --engine nitg-s -o --phmod-typing
+
+nitg-s-phand:
+ ./testfull.sh --engine nitg-s -o --phand-typing
+
+nitg-e:
+ ./testfull.sh --engine nitg-e
+
+nitg-e-bm:
+ ./testfull.sh --engine nitg-e -o --bm-typing
+
+nitg-e-phmod:
+ ./testfull.sh --engine nitg-e -o --phmod-typing
+
+nitg-e-phand:
+ ./testfull.sh --engine nitg-e -o --phand-typing
+