Hi! > For testing, as I no longer have superpowers, > can some-one please allow me to access their tool, > in the certified config(s) I added you to my space (Jonas Schöpf) on StarExec. The solver "ttt2-1.20" contains a certified configuration "ttt2_cert". Best, Jonas -- GPG fingerprint: 0BF3 B30B F1D5 6556 795E F68F 8626 F794 FE62 BE1F