/home/models/dreal4/test/DiscreteBoundary-0100.bch