Changed unsat cores to use string instead of ids, abstracted tests in Actors.scala.