Tabella: Solver tas-CyberSiARA